diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-12 17:42:48 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-12 17:42:48 -0500 |
commit | a24c2bdaf85c3d4eef19783e95b11d1cf15add09 (patch) | |
tree | d3c882ae31c045044de6538db6dc9e13cf347f66 /src/sqlite.sml | |
parent | 106d1b7275e44cf419665e92b2682e009b51f095 (diff) |
Start SQL transactions as read-only when possible, based on conservative program analysis
Diffstat (limited to 'src/sqlite.sml')
-rw-r--r-- | src/sqlite.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sqlite.sml b/src/sqlite.sml index 09c4c683..c138415b 100644 --- a/src/sqlite.sml +++ b/src/sqlite.sml @@ -344,7 +344,7 @@ fun init {dbstring, prepared = ss, tables, views, sequences} = newline, newline, - string "static int uw_db_begin(uw_context ctx) {", + string "static int uw_db_begin(uw_context ctx, int could_write) {", newline, string "uw_conn *conn = uw_get_db(ctx);", newline, |