diff options
Diffstat (limited to 'production/miscToolsAndNotes')
| -rwxr-xr-x | production/miscToolsAndNotes/test496698/runFor10Minutes.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/production/miscToolsAndNotes/test496698/runFor10Minutes.sh b/production/miscToolsAndNotes/test496698/runFor10Minutes.sh index 6daeb1316..f6293299a 100755 --- a/production/miscToolsAndNotes/test496698/runFor10Minutes.sh +++ b/production/miscToolsAndNotes/test496698/runFor10Minutes.sh @@ -7,7 +7,11 @@ while [[ $count -lt $max ]] do sleep 1m count=$(($count + 1)) - echo -e "\tcount: $count of $max" | tee /shared/eclipse/test496698/test496698out.txt + echo -e "\n\tcount: $count of $max\n" | tee /shared/eclipse/test496698/test496698out.txt + echo -e "\n\tps:\n" + ps -f + echo -e "\n\tps -ef | grep \"${0##*/}\":\n" + ps -ef | grep ${0##*/} if [[ $count -ge $max ]] then echo -e "\n\tExiting ${0##*/} normally\n" |