diff options
Diffstat (limited to 'testing/scripts/xstart-umls')
-rwxr-xr-x | testing/scripts/xstart-umls | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/testing/scripts/xstart-umls b/testing/scripts/xstart-umls index 8cd76c133..8d2a70c4d 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 3273 2007-10-08 20:18:34Z andreas $ +# RCSID $Id: xstart-umls 3590 2008-03-13 14:20:20Z martin $ DIR=`dirname $0` @@ -116,6 +116,12 @@ do else cgecho "up" fi + + if [ "$host" = "alice" ] + then + 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 done cecho " * All uml instances are up now" |