| … | … | ||
|---|---|---|---|
| 715 | $server->play ($sound); | 715 | $server->play ($sound); |
| 716 | $server->flush; | 716 | $server->flush; |
| 717 | }; | 717 | }; |
| 718 | } | 718 | } |
| 719 | 719 | ||
| 720 | kill 9, $$; # required for windows, as a mere exit | 720 | # required for windows, as a mere _exit kills your parent process... |
| 721 | kill 9, $$; | ||
| 721 | } else { | 722 | } else { |
| 722 | undef $SOUND_SERVER; | 723 | undef $SOUND_SERVER; |
| 723 | return; | 724 | return; |
| 724 | } | 725 | } |
| 725 | } | 726 | } |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |