]> cvs.zerfleddert.de Git - micropolis/commitdiff
exit child when exec fails
authorMichael Gernoth <michael@gernoth.net>
Tue, 12 Feb 2008 06:25:17 +0000 (07:25 +0100)
committerMichael Gernoth <michael@gernoth.net>
Tue, 12 Feb 2008 06:25:17 +0000 (07:25 +0100)
src/sim/w_sound.c

index a7dae7836d2d85030efd8d56d0cfd9ea5ee0df7b..3f2ec389321a9489eac5dea931b4454393b9f392 100644 (file)
@@ -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");
Impressum, Datenschutz