diff options
Diffstat (limited to 'manager/run.sh')
| -rwxr-xr-x | manager/run.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/manager/run.sh b/manager/run.sh deleted file mode 100755 index 8162204..0000000 --- a/manager/run.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/bash -# -# startup script for distrio manager -# -# checks if a naming service is running -# if not; a newone is started before distrio_manager -# -# author: Manuel Traut <manut@mecka.net> - -NS_PORT=12345 - -NS=`ps aux | grep tao_cosnaming | grep $NS_PORT` - -if [ -z "$NS" ]; then - echo start naming service - tao_cosnaming -ORBEndPoint iiop://localhost:$NS_PORT & - sleep 1 -fi - -LD_LIBRARY_PATH=../io:../common ./distrio_manager \ - -ORBInitRef NameService=corbaloc:iiop:localhost:12345/NameService \ - $@ |