diff --git a/openbis/dist/server/install.sh b/openbis/dist/server/install.sh index 3bfeea5bd469014084f103cb5ce576a2dac27ce4..0687dafa39b6cb76d74af399899b2410b0aa2eb0 100755 --- a/openbis/dist/server/install.sh +++ b/openbis/dist/server/install.sh @@ -82,7 +82,6 @@ mkdir -p "$JETTY_ETC_DIR" test -f "$installation_folder/jetty.xml" && cp -p "$installation_folder/jetty.xml" "$JETTY_ETC_DIR" test -f "$installation_folder/web-client.properties" && cp -p "$installation_folder/web-client.properties" "$JETTY_ETC_DIR" test -f "$JETTY_ETC_DIR/keystore" && rm "$JETTY_ETC_DIR/keystore" -cp -p "$installation_folder/openBIS.keystore" "$JETTY_ETC_DIR" cp -p "$installation_folder/core_plugins.properties" "$JETTY_ETC_DIR" cp -p $startup_properties_file "$JETTY_ETC_DIR"