diff options
-rwxr-xr-x | invoke_session_debian | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/invoke_session_debian b/invoke_session_debian index 6403b9e..9c0d48f 100755 --- a/invoke_session_debian +++ b/invoke_session_debian @@ -136,6 +136,7 @@ fi echo "*** RESULTS READY" echo "ssh -o ControlMaster=no -o ControlPath=/dev/null ${ip_addr}.lab" +echo "ssh -o ControlMaster=no -o ControlPath=/dev/null ${ip_addr}.lab 'touch ~/data/resultsgone'" while ! test -e ~/data/resultsgone; do inotifywait -e create ~/data done |