summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
0787879)
git-svn-id: svn+ssh://svn.dolda2000.com/srv/svn/repos/src/utils@424
959494ce-11ee-0310-bf91-
de5d638817bd
pid="`cat "$HOME/dc/autodl/run/$tag"`"
echo "sending SIGUSR1 to $pid"
kill -USR1 "$pid"
pid="`cat "$HOME/dc/autodl/run/$tag"`"
echo "sending SIGUSR1 to $pid"
kill -USR1 "$pid"
+ while [ -e "$HOME/dc/autodl/run/$tag" ]; do
+ echo "waiting for it to exit"
+ sleep 1
+ done
else
echo "could not find pid for $tag"
fi
else
echo "could not find pid for $tag"
fi