diff src/mysql.sml @ 2176:d2a98983f502

Start of support for surviving database-server restarts, for Postgres
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Oct 2015 10:49:25 -0400
parents 661b531f55bd
children 00cf8214c2e3
line wrap: on
line diff
--- a/src/mysql.sml	Thu Oct 15 07:52:37 2015 -0400
+++ b/src/mysql.sml	Sat Oct 17 10:49:25 2015 -0400
@@ -546,7 +546,7 @@
                   newline,
                   string "mysql_close(mysql);",
                   newline,
-                  string "uw_error(ctx, BOUNDED_RETRY, ",
+                  string "uw_error(ctx, FATAL, ",
                   string "\"Connection to MySQL server failed: %s\", msg);"],
              newline,
              string "}",