diff options
author | Erich Eckner <git@eckner.net> | 2015-10-05 11:20:00 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2015-10-05 11:20:00 +0200 |
commit | ab8ef02376845e14753fcc31afdffc2e8a77394a (patch) | |
tree | 74f77d15b42679fb323db1f36af00acc0fb0e91d | |
parent | 03b377285a88dbe714b0c27ecaa892c7c5b026c1 (diff) | |
download | Plasmapropagation-ab8ef02376845e14753fcc31afdffc2e8a77394a.tar.xz |
kleinen Bug entfernt
-rw-r--r-- | Plasmapropagation.lpr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Plasmapropagation.lpr b/Plasmapropagation.lpr index e1346c5..d822858 100644 --- a/Plasmapropagation.lpr +++ b/Plasmapropagation.lpr @@ -35,6 +35,7 @@ begin if paramcount<>1 then begin prot.schreibe('Bitte genau einen Parameter übergeben, nämlich die Parameterdatei!',true); + prot.destroyAll; halt(1); end; |