From 0239a9fe128d261f7abeaedc61414d68db985358 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 2 Apr 2009 13:31:13 -0400
Subject: Detect serialization failures

---
 src/cjr_print.sml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 96f60887..9c652d4a 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -1645,7 +1645,15 @@ fun p_exp' par env (e, loc) =
 
              string "if (PQresultStatus(res) != PGRES_COMMAND_OK) {",
              newline,
-             box [string "PQclear(res);",
+             box [string "if (!strcmp(PQresultErrorField(res, PG_DIAG_SQLSTATE), \"40001\")) {",
+                  box [newline,
+                       string "PQclear(res);",
+                       newline,
+                       string "uw_error(ctx, UNLIMITED_RETRY, \"Serialization failure\");",
+                       newline],
+                  string "}",
+                  newline,
+                  string "PQclear(res);",
                   newline,
                   string "uw_error(ctx, FATAL, \"",
                   string (ErrorMsg.spanToString loc),
-- 
cgit v1.2.3