Index: trunk/FACT++/start.sh
===================================================================
--- trunk/FACT++/start.sh	(revision 14129)
+++ trunk/FACT++/start.sh	(revision 14130)
@@ -34,9 +34,32 @@
    echo
 
-   # 134 (double corruption, abort())
-   # 139 (seg-fault)
-   # 255 (exception, exit(-1))
+   # HUP    1  exit
+   # INT    2  exit
+   # QUIT   3  core
+   # ILL    4  core
+   # TRAP   5  core
+   # ABRT   6  core
+   # FPE    8  core
+   # KILL   9  exit
+   # SEGV  11  core
+   # PIPE  13  exit
+   # ALRM  14  exit
+   # TERM  15  exit
 
-   if [ $RC == 0 -o $RC == 255 ]; then
+   # 0    (User requested exit from the command line)
+   # 1-   (Eval options failed, return code of StateMachineImp::Run)
+   # 126  (exit requested from recompile.sh)
+   # 127  (problem with option parsing or no program start, like --help)
+   # 128  (exit(128))
+   # 134  (ABRT, double corruption, abort())
+   # 139  (SEGV, 128+11)
+   # 255  (exception)
+
+   if [ $RC -eq 126 ]; then
+      continue
+   fi
+
+   # RC<=128 || RC==KILL || RC=TERM || RC=exception
+   if [ ( $RC -le 128 ) -o ( $RC -eq 137 ) -o ( $RC -eq 143 ) -o ( $RC -eq 255 ) ]; then
       exit
    fi