From 119e91aece4fc1de4b4cd1744502ea58f9bae323 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Sat, 6 Feb 2016 02:37:09 +0100
Subject: [PATCH] Server: Force control for proper map length before world
 generation.

---
 server/world.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/server/world.py b/server/world.py
index f31c3a6..902a554 100644
--- a/server/world.py
+++ b/server/world.py
@@ -264,6 +264,10 @@ def make_world(seed):
         return (y, x)
 
     rand.seed = seed 
+    if world_db["MAP_LENGTH"] < 1:
+        print("Ignoring: No map length >= 1 defined.")
+        return
+    libpr.set_maplength(world_db["MAP_LENGTH"])
     player_will_be_generated = False
     playertype = world_db["PLAYER_TYPE"]
     for ThingType in world_db["ThingTypes"]:
-- 
2.30.2