[Log timeouts separately from other failures in run_railed_test.bash
tobias@goedderz.info**20150305141935
 Ignore-this: a9b09284273d21770a350c668f670e9a
] hunk ./run_failed_test.bash 21
+rv=$?
hunk ./run_failed_test.bash 23
-if [ $? = 0 ]
-then
-    output_fn="$(dirname "$batch_fn")/$(basename -s .bat "$batch_fn").out"
-    log '!!!' Unexpected success: "$batch_fn" / "$output_fn"
-    mv -v "$tmpfn" "$output_fn"
-else
-    log Expected failure: "$batch_fn"
-    rm "$tmpfn"
-fi
+case $rv in
+    0)
+        output_fn="$(dirname "$batch_fn")/$(basename -s .bat "$batch_fn").out"
+        log '!!!' Unexpected success: "$batch_fn" / "$output_fn"
+        mv -v "$tmpfn" "$output_fn"
+        ;;
+    124)
+        log Timeout: "$batch_fn"
+        rm "$tmpfn"
+        ;;
+    *)
+        log Memory limit hit \(or other error\): "$batch_fn"
+        rm "$tmpfn"
+        ;;
+esac