diff options
Diffstat (limited to 'testing/scripts/xstart-umls')
| -rwxr-xr-x | testing/scripts/xstart-umls | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testing/scripts/xstart-umls b/testing/scripts/xstart-umls index 8d2a70c4d..f03452844 100755 --- a/testing/scripts/xstart-umls +++ b/testing/scripts/xstart-umls @@ -14,7 +14,7 @@ # or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License # for more details. # -# RCSID $Id: xstart-umls 3590 2008-03-13 14:20:20Z martin $ +# RCSID $Id: xstart-umls 4370 2008-10-07 04:56:50Z andreas $ DIR=`dirname $0` @@ -119,6 +119,7 @@ do if [ "$host" = "alice" ] then + sleep 5 eval ipv4_${host}="`echo $HOSTNAMEIPV4 | sed -n -e "s/^.*${host},//gp" | awk -F, '{ print $1 }' | awk '{ print $1 }'`" ssh root@$ipv4_alice /etc/init.d/net.eth1 stop fi |