diff -r 75451000349d -r 7d81e3a5d803 src/music/extmidi.cpp --- a/src/music/extmidi.cpp Tue Mar 06 23:42:30 2007 +0000 +++ b/src/music/extmidi.cpp Wed Mar 07 11:47:46 2007 +0000 @@ -21,8 +21,8 @@ pid_t pid; } _midi; -static void DoPlay(void); -static void DoStop(void); +static void DoPlay(); +static void DoStop(); static const char* ExtMidiStart(const char* const * parm) { @@ -31,7 +31,7 @@ return NULL; } -static void ExtMidiStop(void) +static void ExtMidiStop() { _midi.song[0] = '\0'; DoStop(); @@ -43,13 +43,13 @@ DoStop(); } -static void ExtMidiStopSong(void) +static void ExtMidiStopSong() { _midi.song[0] = '\0'; DoStop(); } -static bool ExtMidiIsPlaying(void) +static bool ExtMidiIsPlaying() { if (_midi.pid != -1 && waitpid(_midi.pid, NULL, WNOHANG) == _midi.pid) _midi.pid = -1; @@ -62,7 +62,7 @@ DEBUG(driver, 1, "extmidi: set volume not implemented"); } -static void DoPlay(void) +static void DoPlay() { _midi.pid = fork(); switch (_midi.pid) { @@ -91,7 +91,7 @@ } } -static void DoStop(void) +static void DoStop() { if (_midi.pid != -1) kill(_midi.pid, SIGTERM); }