diff options
Diffstat (limited to 'testing/scripts/start-umls')
| -rwxr-xr-x | testing/scripts/start-umls | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testing/scripts/start-umls b/testing/scripts/start-umls index 7490cdf0b..823a53f5b 100755 --- a/testing/scripts/start-umls +++ b/testing/scripts/start-umls @@ -14,7 +14,7 @@ # or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License # for more details. # -# RCSID $Id: start-umls 3590 2008-03-13 14:20:20Z martin $ +# RCSID $Id: start-umls 4370 2008-10-07 04:56:50Z andreas $ DIR=`dirname $0` @@ -110,6 +110,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 |