diff options
| -rw-r--r-- | music/extmidi.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/music/extmidi.c b/music/extmidi.c index 1c66b8ec6..9bd946f4e 100644 --- a/music/extmidi.c +++ b/music/extmidi.c @@ -81,7 +81,7 @@ static void DoPlay(void) #endif } } - exit(1); + _exit(1); } case -1: |