diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/flags.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dist/flags.py b/dist/flags.py index b8d9e5db469..394154fcb75 100644 --- a/dist/flags.py +++ b/dist/flags.py @@ -106,8 +106,10 @@ flags = { 'SESSION_CAN_WAIT', 'SESSION_CLEAR_EVICT_WALK', 'SESSION_DISCARD_FORCE', - 'SESSION_HANDLE_LIST_LOCKED', 'SESSION_INTERNAL', + 'SESSION_LOCKED_HANDLE_LIST', + 'SESSION_LOCKED_SCHEMA', + 'SESSION_LOCKED_TABLE', 'SESSION_LOGGING_INMEM', 'SESSION_NO_CACHE', 'SESSION_NO_CACHE_CHECK', @@ -115,9 +117,7 @@ flags = { 'SESSION_NO_LOGGING', 'SESSION_NO_SCHEMA_LOCK', 'SESSION_SALVAGE_CORRUPT_OK', - 'SESSION_SCHEMA_LOCKED', 'SESSION_SERVER_ASYNC', - 'SESSION_TABLE_LOCKED', ], } |