diff -r 5e065db52924 -r 5e80e4d69057 dedicated.c
--- a/dedicated.c	Sat Dec 18 12:46:29 2004 +0000
+++ b/dedicated.c	Sat Dec 18 13:15:41 2004 +0000
@@ -17,6 +17,7 @@
 #	include <sys/time.h> /* gettimeofday */
 #	include <sys/types.h>
 #	include <unistd.h>
+#	include <signal.h>
 #	define STDIN 0  /* file descriptor for standard input */
 #endif
 
@@ -24,6 +25,15 @@
 
 static void *_dedicated_video_mem;
 
+#ifdef UNIX
+/* Signal handlers */
+void DedicatedSignalHandler(int sig)
+{
+		_exit_game = true;
+		signal(sig, DedicatedSignalHandler);
+}
+#endif
+
 static const char *DedicatedVideoStart(char **parm) {
 	_screen.width = _screen.pitch = _cur_resolution[0];
 	_screen.height = _cur_resolution[1];
@@ -90,6 +100,12 @@
 	next_tick = (tim.tv_usec / 1000) + 30 + (tim.tv_sec * 1000);
 #endif
 
+	/* Siganl handlers */
+#ifdef UNIX
+	signal(SIGTERM, DedicatedSignalHandler);
+	signal(SIGINT, DedicatedSignalHandler);
+#endif
+
 	// Load the dedicated server stuff
 	_is_network_server = true;
 	_network_dedicated = true;
@@ -107,6 +123,8 @@
 	while (true) {
 		InteractiveRandom(); // randomness
 
+		if (_exit_game) return ML_QUIT;
+
 #ifdef UNIX
 		if (InputWaiting()) {
 			fgets(input_line, 200, stdin);
@@ -128,8 +146,6 @@
 		}
 #endif
 
-		if (_exit_game) return ML_QUIT;
-
 #ifdef WIN32
 		cur_ticks = GetTickCount();
 #else