diff options
author | Albert Cheng <acheng@hdfgroup.org> | 2005-11-02 22:54:33 (GMT) |
---|---|---|
committer | Albert Cheng <acheng@hdfgroup.org> | 2005-11-02 22:54:33 (GMT) |
commit | 7fd6ff2413d3ecf65e77c9474f410a7acb9f4e52 (patch) | |
tree | 4058ca3e0740b1b3bbf719855eab538cc5555937 /bin/timekeeper | |
parent | b28bbdc8e065e2435cd3c52202304f0d969a365b (diff) | |
download | hdf5-7fd6ff2413d3ecf65e77c9474f410a7acb9f4e52.zip hdf5-7fd6ff2413d3ecf65e77c9474f410a7acb9f4e52.tar.gz hdf5-7fd6ff2413d3ecf65e77c9474f410a7acb9f4e52.tar.bz2 |
[svn-r11674] 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/timekeeper')
-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 |