From 5a2d24084fa34514bb48198d8fb2eea3ef7509e8 Mon Sep 17 00:00:00 2001 From: "Axel Uhl (Server)" Date: Mon, 12 Aug 2013 16:45:25 +0200 Subject: [PATCH] added jetty-selector.xml and jetty-deployed.xml to the files to be copied during the installation phase --- configuration/buildAndUpdateProduct.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/configuration/buildAndUpdateProduct.sh b/configuration/buildAndUpdateProduct.sh index e5cd961902d..ebb9d9a1c13 100755 --- a/configuration/buildAndUpdateProduct.sh +++ b/configuration/buildAndUpdateProduct.sh @@ -356,6 +356,8 @@ if [[ "$@" == "install" ]] || [[ "$@" == "all" ]]; then mkdir -p configuration/jetty/etc cp -v $PROJECT_HOME/java/target/configuration/jetty/etc/jetty.xml configuration/jetty/etc + cp -v $PROJECT_HOME/java/target/configuration/jetty/etc/jetty-selector.xml configuration/jetty/etc + cp -v $PROJECT_HOME/java/target/configuration/jetty/etc/jetty-deployer.xml configuration/jetty/etc cp -v $PROJECT_HOME/java/target/configuration/jetty/etc/realm.properties configuration/jetty/etc cp -v $PROJECT_HOME/java/target/configuration/monitoring.properties configuration/ cp -v $PROJECT_HOME/configuration/mongodb.cfg $ACDIR/