# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1238693473 14400
# Node ID 829887ca47a6c76cf0ee22d7ddb70d243e1941d5
# Parent  a3ddf05fb3e3497bfc51cc9776b861989e637983
Detect serialization failures

diff -r a3ddf05fb3e3 -r 829887ca47a6 src/cjr_print.sml
--- a/src/cjr_print.sml	Thu Apr 02 11:42:26 2009 -0400
+++ b/src/cjr_print.sml	Thu Apr 02 13:31:13 2009 -0400
@@ -1645,7 +1645,15 @@
 
              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),