changeset 688:829887ca47a6

Detect serialization failures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 02 Apr 2009 13:31:13 -0400 (2009-04-02)
parents a3ddf05fb3e3
children b6a8425e1b1f
files src/cjr_print.sml
diffstat 1 files changed, 9 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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),