diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/api_data.py | 9 | ||||
| -rw-r--r-- | dist/stat_data.py | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/dist/api_data.py b/dist/api_data.py index 215e3f81803..3b14fae427c 100644 --- a/dist/api_data.py +++ b/dist/api_data.py @@ -662,6 +662,15 @@ methods = { type='boolean'), ]), +'session.log_flush' : Method([ + Config('sync', 'on', r''' + forcibly flush the log and wait for it to synchronize. If + using \c off, then wait for the log to be written to the file + system. If using \c on, wait for the log to be synchronized + to the backing store.''', + choices=['off', 'on']), +]), + 'session.log_printf' : Method([]), 'session.open_cursor' : Method(cursor_runtime_config + [ diff --git a/dist/stat_data.py b/dist/stat_data.py index d27840d3fbc..37843acb188 100644 --- a/dist/stat_data.py +++ b/dist/stat_data.py @@ -228,6 +228,7 @@ connection_stats = [ LogStat('log_compress_small', 'log records too small to compress'), LogStat('log_compress_writes', 'log records compressed'), LogStat('log_compress_write_fails', 'log records not compressed'), + LogStat('log_flush', 'log flush operations'), LogStat('log_max_filesize', 'maximum log file size', 'no_clear,no_scale'), LogStat('log_prealloc_files', 'pre-allocated log files prepared'), LogStat('log_prealloc_max', |