use old forking player when SDL_mixer is not available

[micropolis] / res / micropolis.tcl

diff --git a/res/micropolis.tcl b/res/micropolis.tcl
index 1d56b751b26f64802e613150b2a295f4375dfc1d..5704330d82f25288932aad3c8d640c3ff0559ad5 100644 (file)
--- a/res/micropolis.tcl
+++ b/res/micropolis.tcl
@@ -416,6 +416,10 @@ set FontPath "[pwd]/res/dejavu-lgc"
 system "xset -fp \"$FontPath\" >/dev/null 2>&1"
 system "xset +fp \"$FontPath\" >/dev/null 2>&1"
 
+# Ignore SIGCHLD for spawned sound-player childs, this should lead to them
+# being reaped by init
+signal ignore SIGCHLD
+
 
 ########################################################################
 # Messages