From 70e7993785e3e50bab8aa6a908c3620d12173ece Mon Sep 17 00:00:00 2001
From: felmer <felmer>
Date: Wed, 23 Jun 2010 06:37:04 +0000
Subject: [PATCH] LMS-1552 keep openbis.config separately

SVN: 16670
---
 openbis/dist/server/install.sh | 7 ++-----
 openbis/dist/server/setup-env  | 1 +
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/openbis/dist/server/install.sh b/openbis/dist/server/install.sh
index 1ad3cedc1dc..aed24491e40 100755
--- a/openbis/dist/server/install.sh
+++ b/openbis/dist/server/install.sh
@@ -67,7 +67,6 @@ mkdir -p "$war_classes"/etc
 test -f "$properties_file" && cp -p "$properties_file" "$war_classes/"
 test -f "$logconf_file" && cp -p "$logconf_file" "$war_classes/etc/"
 zip "$installation_folder"/$war_file "$war_classes"/service.properties "$war_classes"/etc/log.xml *.js *.html images/*
-#cp -p "$installation_folder"/$war_file "$jetty_folder"/webapps
 cp -p "$installation_folder"/$war_file "$jetty_folder"
 rm -rf WEB-INF
 
@@ -87,10 +86,8 @@ cp -p "$installation_folder"/setup-env "$JETTY_BIN_DIR"
 
 # Create a file called 'jetty.properties'.
 JETTY_PROPERTIES="$JETTY_BIN_DIR"/jetty.properties
-cat "$installation_folder"/openbis.conf > "$JETTY_PROPERTIES"
-echo "" >> "$JETTY_PROPERTIES"
-echo "# Jetty options" >> "$JETTY_PROPERTIES"
-echo "JETTY_PORT=$JETTY_PORT" >> "$JETTY_PROPERTIES"
+cp "$installation_folder"/openbis.conf "$JETTY_BIN_DIR"
+echo "JETTY_PORT=$JETTY_PORT" > "$JETTY_PROPERTIES"
 echo "JETTY_STOP_PORT=8079" >> "$JETTY_PROPERTIES"
 echo "JETTY_STOP_KEY=secret" >> "$JETTY_PROPERTIES"
 
diff --git a/openbis/dist/server/setup-env b/openbis/dist/server/setup-env
index ed6da0033f4..ddcb86bc10f 100644
--- a/openbis/dist/server/setup-env
+++ b/openbis/dist/server/setup-env
@@ -7,6 +7,7 @@ if [ ${JETTY_BIN_DIR#/} == ${JETTY_BIN_DIR} ]; then
 fi
 
 source "$JETTY_BIN_DIR"/jetty.properties
+source "$JETTY_BIN_DIR"/openbis.conf
 cd "$JETTY_BIN_DIR"/..
 
 JVM=java
-- 
GitLab