diff options
author | 2013-12-23 15:59:17 +0000 | |
---|---|---|
committer | 2013-12-23 15:59:17 +0000 | |
commit | fac05ae0a6d7d080436c953d2085e137d75c5796 (patch) | |
tree | 710b0b096b788b1fb51c6222c97cc30632f0f964 /src/mono_env.sml | |
parent | 2f6649aa0b392fefe08e3eb604a93220a0c64324 (diff) |
Proper handling of serialization failures during SQL COMMIT
Diffstat (limited to 'src/mono_env.sml')
0 files changed, 0 insertions, 0 deletions