comparison 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
comparison
equal deleted inserted replaced
2175:3ffef52d549c 2176:d2a98983f502
544 newline, 544 newline,
545 string "msg[1023] = 0;", 545 string "msg[1023] = 0;",
546 newline, 546 newline,
547 string "mysql_close(mysql);", 547 string "mysql_close(mysql);",
548 newline, 548 newline,
549 string "uw_error(ctx, BOUNDED_RETRY, ", 549 string "uw_error(ctx, FATAL, ",
550 string "\"Connection to MySQL server failed: %s\", msg);"], 550 string "\"Connection to MySQL server failed: %s\", msg);"],
551 newline, 551 newline,
552 string "}", 552 string "}",
553 newline, 553 newline,
554 newline, 554 newline,