server now exits on SIGINT, woot

greghaynes · Aug 6, 2010 · 93f5b15 · 93f5b15
1 parent caa26cd
commit 93f5b15
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/engine/server.cpp b/src/engine/server.cpp
@@ -605,6 +605,7 @@ static bool rundedicated = true;
 void quit()
 {
     rundedicated = false;
+    exit(1);
 }
 
 void server_sigint(int signal)