Searched refs:shelltimeout (Results 1 – 2 of 2) sorted by relevance
13 shelltimeout=3036 if [ -n "$shelltimeout" ]; then37 echo -n " " $(( $shelltimeout - $C ))38 if [ $C -ge $shelltimeout ]; then
68 shelltimeout=3070 shelltimeout=$optarg143 if [ -n "$shelltimeout" ]; then144 echo -n " " $(( $shelltimeout - $C ))145 if [ $C -ge $shelltimeout ]; then