diff options
Diffstat (limited to 'src/third_party/wiredtiger/src/docs/signals.dox')
| -rw-r--r-- | src/third_party/wiredtiger/src/docs/signals.dox | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/src/docs/signals.dox b/src/third_party/wiredtiger/src/docs/signals.dox new file mode 100644 index 00000000000..a081370159d --- /dev/null +++ b/src/third_party/wiredtiger/src/docs/signals.dox @@ -0,0 +1,11 @@ +/*! @page signals Signal handling + +WiredTiger has no signal handlers and does not modify process signal handler behavior in any way. + +WiredTiger restarts any system calls interrupted by a signal. + +WiredTiger applications exiting as a result of a signal should exit WiredTiger gracefully, closing any open WiredTiger handles, before terminating the process. + +WiredTiger is not re-entrant, and applications using WiredTiger should not make WiredTiger API calls from signal handlers. + +*/ |