From cbaef446ac4f3e7d559dbce98539e9449b92356c Mon Sep 17 00:00:00 2001
From: Pascal Sthamer <sthamer.pascal@gmail.com>
Date: Wed, 7 Jul 2021 16:56:16 +0200
Subject: [PATCH] fix: don't echo double-double-quotes to server.properties
 (#954)

Using `sed`, we need to escape double quotes, but with `echo` we can just use the variable as-is.
Closes #949
---
 start-finalSetupServerProperties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/start-finalSetupServerProperties b/start-finalSetupServerProperties
index 1f8fe822..33708461 100644
--- a/start-finalSetupServerProperties
+++ b/start-finalSetupServerProperties
@@ -19,7 +19,7 @@ function setServerProp {
       sed -i "/^${prop}\s*=/ c ${prop}=${var//\\/\\\\}" "$SERVER_PROPERTIES"
     else
       log "Adding ${prop} with '${var}' in ${SERVER_PROPERTIES}"
-      echo "${prop}=${var//\\/\\\\}" >> "$SERVER_PROPERTIES"
+      echo "${prop}=${var}" >> "$SERVER_PROPERTIES"
     fi
   else
     isDebugging && log "Skip setting ${prop}"