diff options
Diffstat (limited to 'testing/scripts/gstart-umls')
| -rwxr-xr-x | testing/scripts/gstart-umls | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testing/scripts/gstart-umls b/testing/scripts/gstart-umls index 40869d0a8..e5e993661 100755 --- a/testing/scripts/gstart-umls +++ b/testing/scripts/gstart-umls @@ -14,7 +14,7 @@ # or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License # for more details. # -# RCSID $Id: gstart-umls 3912 2008-05-08 08:22:07Z andreas $ +# RCSID $Id: gstart-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 |