diff options
author | Keith Bostic <keith@wiredtiger.com> | 2014-11-07 18:43:21 -0500 |
---|---|---|
committer | Keith Bostic <keith@wiredtiger.com> | 2014-11-07 18:43:21 -0500 |
commit | 380f42344cf73e4249c503c644bcf19e8c46b7aa (patch) | |
tree | a9866a02b67067a4f41b2f60a5574ba8c75107b7 /src/conn/conn_cache_pool.c | |
parent | 5391b19eae0b48b572b8309d0b8f6775755b1067 (diff) | |
download | mongo-380f42344cf73e4249c503c644bcf19e8c46b7aa.tar.gz |
If a server thread exits with an error, panic.
Reference #1355.
Diffstat (limited to 'src/conn/conn_cache_pool.c')
-rw-r--r-- | src/conn/conn_cache_pool.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/conn/conn_cache_pool.c b/src/conn/conn_cache_pool.c index ba80ac15267..ee0148e29d9 100644 --- a/src/conn/conn_cache_pool.c +++ b/src/conn/conn_cache_pool.c @@ -633,7 +633,7 @@ __wt_cache_pool_server(void *arg) } if (0) { -err: __wt_err(session, ret, "cache pool manager server error"); +err: WT_PANIC_MSG(session, ret, "cache pool manager server error"); } return (NULL); } |