Fix for KillServer.

jackaudio · dd97d191240de8d09e709f6b1a8c4fafdac0a030 · sletz committed Jun 6, 2014 · Jun 6, 2014 · dd97d19
1 parent 2e6344a
commit dd97d191240de8d09e709f6b1a8c4fafdac0a030
Unified Split

Showing with 4 additions and 0 deletions.

+4 −0 common/JackTools.cpp
diff --git a/common/JackTools.cpp b/common/JackTools.cpp
@@ -37,7 +37,11 @@ namespace Jack {
 
     void JackTools::KillServer()
     {
+    #ifdef WIN32
         raise(SIGINT);
+    #else
+        kill(GetPID(), SIGINT);
+    #endif
     }
 
     void JackTools::ThrowJackNetException()