diff --git a/fill-manager/src/main/bin/shutdown.sh b/fill-manager/src/main/bin/shutdown.sh index e5789b2405861691bd66885eb1531c6ca54781bb..d52ea5362289039f7146296ee004714283da3227 100644 --- a/fill-manager/src/main/bin/shutdown.sh +++ b/fill-manager/src/main/bin/shutdown.sh @@ -1,4 +1,5 @@ #! /bin/sh +source /etc/profile PORT="@profiles.server.port@" BASEDIR=`dirname $0` BASEDIR=`(cd "$BASEDIR"; pwd)` diff --git a/fill-manager/src/main/bin/start.sh b/fill-manager/src/main/bin/start.sh index c1038581c1898fb05d5515e7f29eea77361d6588..72bb712d2dade759cb49fa174d62daf3f0c05ff4 100644 --- a/fill-manager/src/main/bin/start.sh +++ b/fill-manager/src/main/bin/start.sh @@ -1,4 +1,5 @@ #!/bin/sh +source /etc/profile PORT="@profiles.server.port@" BASEDIR=`dirname $0`/.. BASEDIR=`(cd "$BASEDIR"; pwd)`