----------------BEGIN modworldgenmain.lua-------------------
local size = GetModConfigData("mapsize")
if GLOBAL.rawget(GLOBAL,"WorldSim") then
local idx = GLOBAL.getmetatable(GLOBAL.WorldSim).__index
local OldSetWorldSize = idx.SetWorldSize
idx.SetWorldSize=function(self, width, height)
OldSetWorldSize(self, size or width, size or height)
end
local OldConvertToTileMap = idx.ConvertToTileMap
idx.ConvertToTileMap=function(self, length)
OldConvertToTileMap(self, size or length)
end
end
----------------END modworldgenmain.lua-------------------
----------------BEGIN modinfo.lua----------------------
--[[ other entries... ]]

dst_compatible = true
server_only_mod = true

configuration_options =
{
{
name = "mapsize",
label = "Map Size",
options =
{
{description = "Default",hover="Use the size from server settings." data = false},
{description = "640", data = 640},
{description = "960", data = 960},
--[[ other entries ]]
},
default = 640,
},
}