diff options
author | Ziv Scully <ziv@mit.edu> | 2015-11-17 02:44:37 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-11-17 02:44:37 -0500 |
commit | 39804bcf37a35ca6a2cb5e49849ce9453c9025bc (patch) | |
tree | 5678aaab6c6d9e4362b67727caec80bf39322bce /src/sqlcache.sml | |
parent | 96537889753c222279e3937495dbc56054b377b9 (diff) |
Make cache flushes happen immediately instead of at end of transaction.
Diffstat (limited to 'src/sqlcache.sml')
-rw-r--r-- | src/sqlcache.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sqlcache.sml b/src/sqlcache.sml index 481acbeb..a8ef647b 100644 --- a/src/sqlcache.sml +++ b/src/sqlcache.sml @@ -1,4 +1,4 @@ -structure Sqlcache (* DEBUG :> SQLCACHE *) = struct +structure Sqlcache :> SQLCACHE = struct (*********************) |