diff options
author | Albert Cheng <acheng@hdfgroup.org> | 2005-11-02 22:54:35 (GMT) |
---|---|---|
committer | Albert Cheng <acheng@hdfgroup.org> | 2005-11-02 22:54:35 (GMT) |
commit | 0eac4786a3fb899b2c913f89d417380d47d79029 (patch) | |
tree | 8be19eeb459e8b3b8934ba198b215dcf3b6769c3 /bin | |
parent | 1f7e49eb5d5e2ae067b1f5f797a233f0313e957f (diff) | |
download | hdf5-0eac4786a3fb899b2c913f89d417380d47d79029.zip hdf5-0eac4786a3fb899b2c913f89d417380d47d79029.tar.gz hdf5-0eac4786a3fb899b2c913f89d417380d47d79029.tar.bz2 |
[svn-r11675] Description:
Added messages to remind platform watchers to check for processes
still running in the remote machine after timeout.
Platforms tested:
Just eyeballed. Changes is trivial.
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/timekeeper | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/timekeeper b/bin/timekeeper index 73aa32a..4b30434 100755 --- a/bin/timekeeper +++ b/bin/timekeeper @@ -103,6 +103,8 @@ if [ -z "$debugflag" ]; then if test X$pid \!= X && ps -p $pid > /dev/null; then echo "terminating process $x ($pid)" kill -HUP $pid + echo "Remote shell command ended. But some processes might still be" + echo "running in the remote machine. Login there to verify." fi fi done |