gameServer/hedgewars-server.hs
changeset 2129 8664554d5547
parent 1985 0792e1485d07
child 2296 19f2f76dc346
--- a/gameServer/hedgewars-server.hs	Wed May 27 15:55:14 2009 +0000
+++ b/gameServer/hedgewars-server.hs	Wed May 27 18:13:06 2009 +0000
@@ -28,6 +28,7 @@
 main = withSocketsDo $ do
 #if !defined(mingw32_HOST_OS)
 	installHandler sigPIPE Ignore Nothing;
+	installHandler sigCHLD Ignore Nothing;
 #endif
 
 	setupLoggers