crun: remove bashisms

diff --git a/src/crun b/src/crun
index 0f4dd73ee719ef7ebf12cc0e43ebc98a33ca4be7..096cd7391f3f5d7eeaa5710c677f54e387f45c20 100755 (executable)
--- a/src/crun
+++ b/src/crun
@@ -2,22 +2,20 @@
 
 sleep=5
 
-core_sig[3]=1
-core_sig[4]=1
-core_sig[5]=1
-core_sig[6]=1
-core_sig[8]=1
-core_sig[11]=1
-
 while [ true ]; do
-       "$@"
-       exit_code=$?
-
-       if [ $exit_code -gt 128 ]; then
-               [ "${core_sig[$(($exit_code-128))]}" != "1" ] && exit
-               echo crun: $1 dumped core, restarting in $sleep seconds...
-               sleep $sleep
-       else
-               exit
-       fi
+    "$@"
+    exit_code=$?
+    
+    if [ $exit_code -gt 128 ]; then
+       case $(($exit_code-128)) in
+           3 | 4 | 5 | 6 | 8 | 11)
+               ;;
+           *)
+               exit;
+       esac
+       echo crun: $1 dumped core, restarting in $sleep seconds...
+       sleep $sleep
+    else
+       exit
+    fi
 done