diff options
| author | Angelo Naselli <anaselli@linux.it> | 2015-12-29 16:37:46 +0100 |
|---|---|---|
| committer | Angelo Naselli <anaselli@linux.it> | 2015-12-29 16:37:46 +0100 |
| commit | 32bb4b9a3dbdaafed879287cd177fddff77719eb (patch) | |
| tree | bb528a824957d3f3363275326a847a19f181adde /scripts | |
| parent | 830a80457ba94529f662da30d9118cbebf6d5461 (diff) | |
| download | manatools-32bb4b9a3dbdaafed879287cd177fddff77719eb.tar manatools-32bb4b9a3dbdaafed879287cd177fddff77719eb.tar.gz manatools-32bb4b9a3dbdaafed879287cd177fddff77719eb.tar.bz2 manatools-32bb4b9a3dbdaafed879287cd177fddff77719eb.tar.xz manatools-32bb4b9a3dbdaafed879287cd177fddff77719eb.zip | |
allow to exit again
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/mpan | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/mpan b/scripts/mpan index 760d771d..f5747bef 100755 --- a/scripts/mpan +++ b/scripts/mpan @@ -88,6 +88,9 @@ while (1) { if ($launch) { $launch->start(); } + else { + last; + } } |