From 2d198c091036767fdad1c3cd79f1bba4664682ea Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 17 Oct 2015 10:49:25 -0400
Subject: Start of support for surviving database-server restarts, for Postgres

---
 src/mysql.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mysql.sml')

diff --git a/src/mysql.sml b/src/mysql.sml
index bb654fee..13ea9fc2 100644
--- a/src/mysql.sml
+++ b/src/mysql.sml
@@ -546,7 +546,7 @@ fun init {dbstring, prepared = ss, tables, views, sequences} =
                   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 "}",
-- 
cgit v1.2.3