Change pika exit way

rucky2013 · Mar 23, 2016 · a0b16b4 · a0b16b4
1 parent ac039d3
commit a0b16b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pika_admin.cc b/src/pika_admin.cc
@@ -347,6 +347,6 @@ void ShutdownCmd::DoInitial(PikaCmdArgsType &argv, const CmdInfo* const ptr_info
 // no return
 void ShutdownCmd::Do() {
   DLOG(WARNING) << "handle \'shutdown\'";
-  g_pika_server->mutex_.Unlock();
+  g_pika_server->Exit();
   res_.SetRes(CmdRes::kNone);
 }