Returns a status equal to 1 if the timeout is exceeded

3170af09 · Eric Coissac · 27df7f1e · 3170af09
Commit 3170af09 authored Apr 11, 2016 by Eric Coissac
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

timeout.sh timeout.sh +2 -2

No files found.
--- a/timeout.sh
+++ b/timeout.sh
@@ -35,9 +35,9 @@ function timeoutcmd() {
    kill -9 $sleeppid 
  else
  	if (( $(ps $mainpid | tail -n +2 | wc -l) > 0 )) ; then
-  		echo killed
  	 	kill -9 $mainpid
-#    	 logwarning "Timeout after ${seconde}s on command : $*"
+    	logwarning "Timeout after ${seconde}s on command : $*"
+		return 1
 	fi
  fi
 }
\ No newline at end of file