diff --git a/minecraft-server/start-minecraftFinalSetup b/minecraft-server/start-minecraftFinalSetup index f0466650..e49f0189 100755 --- a/minecraft-server/start-minecraftFinalSetup +++ b/minecraft-server/start-minecraftFinalSetup @@ -74,6 +74,14 @@ fi # put these prior JVM_OPTS at the end to give any memory settings there higher precedence echo "Setting initial memory to ${INIT_MEMORY:=${MEMORY}} and max to ${MAX_MEMORY:=${MEMORY}}" +expandedDOpts= +if [ -n "$JVM_DD_OPTS" ]; then + for dopt in $JVM_DD_OPTS + do + expandedDOpts="${expandedDOpts} -D${dopt/:/=}" + done +fi + if [[ ${TYPE} == "FEED-THE-BEAST" ]]; then if [ ! -e ${FTB_DIR}/ops.json -a -e /data/ops.txt ]; then cp -f /data/ops.txt ${FTB_DIR}/ @@ -88,7 +96,7 @@ if [[ ${TYPE} == "FEED-THE-BEAST" ]]; then cat > ${FTB_DIR}/settings-local.sh <