terminate when ssh session is killed
Change-Id: I145cc9de4c7006efb56661d0f64d4158fe4aee1b
Showing
2 changed files
with
2 additions
and
2 deletions
... | @@ -24,7 +24,7 @@ if [ $less -eq 1 ]; then | ... | @@ -24,7 +24,7 @@ if [ $less -eq 1 ]; then |
24 | ssh -t $remote "less $LOG" | 24 | ssh -t $remote "less $LOG" |
25 | else | 25 | else |
26 | trap "ssh $remote 'ps -ef | grep \"tail -n 512\" | grep -v grep | cut -c10-15 | xargs kill'" EXIT | 26 | trap "ssh $remote 'ps -ef | grep \"tail -n 512\" | grep -v grep | cut -c10-15 | xargs kill'" EXIT |
27 | - ssh $remote " | 27 | + ssh -t $remote " |
28 | while true; do | 28 | while true; do |
29 | echo ================================================================== | 29 | echo ================================================================== |
30 | [ ! -f $LOG ] && sleep 2 && continue | 30 | [ ! -f $LOG ] && sleep 2 && continue | ... | ... |
... | @@ -8,7 +8,7 @@ | ... | @@ -8,7 +8,7 @@ |
8 | 8 | ||
9 | remote=$ONOS_USER@${1:-$OCI} | 9 | remote=$ONOS_USER@${1:-$OCI} |
10 | 10 | ||
11 | -ssh $remote " | 11 | +ssh -t $remote " |
12 | # Wait until we reach the run-level 100 | 12 | # Wait until we reach the run-level 100 |
13 | running="" | 13 | running="" |
14 | while [ -z \$running ]; do | 14 | while [ -z \$running ]; do | ... | ... |
-
Please register or login to post a comment