diff --git a/openbis/build/build.xml b/openbis/build/build.xml index afc34b6beee4372709c9e2b82697b1da14d0a292..4e1bba02814a7994bcab293e1b349645fcac1229 100644 --- a/openbis/build/build.xml +++ b/openbis/build/build.xml @@ -194,6 +194,7 @@ <include name="setup-env" /> <include name="shutdown.sh" /> <include name="startup.sh" /> + <include name="status.sh" /> <include name="register-master-data.sh" /> <include name="export-master-data.sh" /> <include name="export-master-data.py" /> @@ -296,6 +297,7 @@ <zipfileset file="${original.openbis.server.dist}/install.sh" filemode="777" prefix="${server.folder.name}" /> <zipfileset file="${original.openbis.server.dist}/startup.sh" filemode="777" prefix="${server.folder.name}" /> <zipfileset file="${original.openbis.server.dist}/shutdown.sh" filemode="777" prefix="${server.folder.name}" /> + <zipfileset file="${original.openbis.server.dist}/status.sh" filemode="777" prefix="${server.folder.name}" /> </zip> <delete dir="${server.dist}" /> </target> diff --git a/openbis/dist/server/install.sh b/openbis/dist/server/install.sh index ee100dbcf4612865d6d344539cb1613660580006..c152b090dfb4fb17f9f5f40a8d98ce2c5c10ca39 100755 --- a/openbis/dist/server/install.sh +++ b/openbis/dist/server/install.sh @@ -106,6 +106,7 @@ cd - JETTY_BIN_DIR="$jetty_folder/bin" cp -p "$installation_folder/startup.sh" "$JETTY_BIN_DIR" cp -p "$installation_folder/shutdown.sh" "$JETTY_BIN_DIR" +cp -p "$installation_folder/status.sh" "$JETTY_BIN_DIR" cp -p "$installation_folder/setup-env" "$JETTY_BIN_DIR" cp -p "$installation_folder/passwd.sh" "$JETTY_BIN_DIR" cp -p "$installation_folder/register-master-data.sh" "$JETTY_BIN_DIR"