added level-type option

setup.sh

@@ -105,6 +105,10 @@ if [[ -n $SEED ]]; then
   echo "seed=$SEED" >> $SERVER_PROPERTIES
 fi
 
+if [[ -n $LEVEL_TYPE ]]; then
+  echo "level-type=$LEVEL_TYPE" >> $SERVER_PROPERTIES
+fi
+
 if [[ -n $MAX_PLAYERS ]]; then
   echo "max-players=$MAX_PLAYERS" >> $SERVER_PROPERTIES
 fi
@@ -130,4 +134,4 @@ if [[ -n $RUNSCRIPT ]]; then
   exec java $JAVA_OPTS -jar "server.jar" nogui
 else
   exec bash /home/server/instance/run.sh
-fi
+fi