diff --git a/openbis/dist/server/install.sh b/openbis/dist/server/install.sh
index 1ad3cedc1dc3a53414e863a85332b0acbaaaae2c..aed24491e4091d0380079a0dcc05e286eaaf233b 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 ed6da0033f48f58f999f2f4c2318da234e3beb1f..ddcb86bc10f51379a2fd5cc01d617242b70160c6 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