diff options
Diffstat (limited to 'testing/scripts/kstart-umls')
| -rwxr-xr-x | testing/scripts/kstart-umls | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testing/scripts/kstart-umls b/testing/scripts/kstart-umls index 62cbf83cf..b67382a25 100755 --- a/testing/scripts/kstart-umls +++ b/testing/scripts/kstart-umls @@ -14,7 +14,7 @@ # or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License # for more details. # -# RCSID $Id: kstart-umls 3514 2008-02-29 17:00:07Z andreas $ +# RCSID $Id: kstart-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 |