diff options
Diffstat (limited to 'manager/bin/run.sh')
| -rwxr-xr-x | manager/bin/run.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/manager/bin/run.sh b/manager/bin/run.sh new file mode 100755 index 0000000..8162204 --- /dev/null +++ b/manager/bin/run.sh @@ -0,0 +1,22 @@ +#!/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 \ + $@ |