If a server thread exits with an error, panic.

Reference #1355.

5 files changed, 5 insertions, 5 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);
 }
diff --git a/src/conn/conn_ckpt.c b/src/conn/conn_ckpt.c
index ab97d4ead46..e631752f1ea 100644
--- a/src/conn/conn_ckpt.c
+++ b/src/conn/conn_ckpt.c
@@ -99,7 +99,7 @@ __ckpt_server(void *arg)
 	}
 
 	if (0) {
-err:		__wt_err(session, ret, "checkpoint server error");
+err:		WT_PANIC_MSG(session, ret, "checkpoint server error");
 	}
 	return (NULL);
 }
diff --git a/src/conn/conn_log.c b/src/conn/conn_log.c
index b2555cfebf5..446aa07800f 100644
--- a/src/conn/conn_log.c
+++ b/src/conn/conn_log.c
@@ -158,7 +158,7 @@ __log_archive_server(void *arg)
 	}
 
 	if (0) {
-err:		__wt_err(session, ret, "log archive server error");
+err:		WT_PANIC_MSG(session, ret, "log archive server error");
 	}
 	if (locked_archive)
 		WT_TRET(__wt_writeunlock(session, log->log_archive_lock));
diff --git a/src/conn/conn_stat.c b/src/conn/conn_stat.c
index f7229504898..dd49e7359cc 100644
--- a/src/conn/conn_stat.c
+++ b/src/conn/conn_stat.c
@@ -413,7 +413,7 @@ __statlog_server(void *arg)
 	}
 
 	if (0) {
-err:		__wt_err(session, ret, "statistics log server error");
+err:		WT_PANIC_MSG(session, ret, "statistics log server error");
 	}
 	__wt_buf_free(session, &path);
 	__wt_buf_free(session, &tmp);
diff --git a/src/conn/conn_sweep.c b/src/conn/conn_sweep.c
index 3bccc5814be..7d427f6c816 100644
--- a/src/conn/conn_sweep.c
+++ b/src/conn/conn_sweep.c
@@ -117,7 +117,7 @@ __sweep_server(void *arg)
 	}
 
 	if (0) {
-err:		__wt_err(session, ret, "handle sweep server error");
+err:		WT_PANIC_MSG(session, ret, "handle sweep server error");
 	}
 	return (NULL);
 }