From: Michael Gernoth <michael@gernoth.net>
Date: Tue, 12 Feb 2008 06:25:17 +0000 (+0100)
Subject: exit child when exec fails
X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/147021e095a1a31f6e2667539abf37a3e462c6b7

exit child when exec fails
---

diff --git a/src/sim/w_sound.c b/src/sim/w_sound.c
index a7dae78..3f2ec38 100644
--- a/src/sim/w_sound.c
+++ b/src/sim/w_sound.c
@@ -292,6 +292,7 @@ MakeSound(char *channel, char *id)
   switch(pid) {
     case 0:
       execl(player, player, filename, NULL);
+      exit(1);
       break;
     case -1:
       perror("fork failed");