From 91d527520c9dc4c441ddd08d210cc8632a7423c0 Mon Sep 17 00:00:00 2001
From: Nikolaus Krismer <niko@krismer.de>
Date: Sat, 24 May 2014 12:55:09 +0200
Subject: [PATCH] fixed not working password replacement for tomcat-manager

---
 etc/vagrant/bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/vagrant/bootstrap.sh b/etc/vagrant/bootstrap.sh
index f9fe0b8c..06a751a7 100644
--- a/etc/vagrant/bootstrap.sh
+++ b/etc/vagrant/bootstrap.sh
@@ -661,7 +661,7 @@ if $INSTALL_TOMCAT; then
 	chown -R $TOMCAT_USER:$TOMCAT_USER $DEPLOY_DIR/$TOMCAT_NAME >> install_tomcat.log 2>&1
 
 	cp $SHARED_CONF_DIR/tomcat-users.xml $DEPLOY_DIR/$TOMCAT_NAME/conf/tomcat-users.xml
-	sed -i 's/password="admin"/password="$PG_DB_PASSWORD"/' $DEPLOY_DIR/$TOMCAT_NAME/conf/tomcat-users.xml
+	sed -i "s/password=\"admin\"/password=\"$PG_DB_PASSWORD\"/" $DEPLOY_DIR/$TOMCAT_NAME/conf/tomcat-users.xml
 
 	echo "Configuring tomcat default web.xml (enabling CORS filer)"
 	cp -f $SHARED_CONF_DIR/tomcat_web.xml $DEPLOY_DIR/$TOMCAT_NAME/conf/web.xml
-- 
GitLab