Prevent ModMgr from deleting backend setting in world.mt
parent
49a75b1894
commit
1f3402e7a1
|
@ -513,6 +513,8 @@ function modmgr.get_worldconfig(worldpath)
|
||||||
|
|
||||||
if key == "gameid" then
|
if key == "gameid" then
|
||||||
worldconfig.id = parts[2]:trim()
|
worldconfig.id = parts[2]:trim()
|
||||||
|
elseif key == "backend" then
|
||||||
|
worldconfig.backend = parts[2]:trim()
|
||||||
else
|
else
|
||||||
local key = parts[1]:trim():sub(10)
|
local key = parts[1]:trim():sub(10)
|
||||||
if parts[2]:trim() == "true" then
|
if parts[2]:trim() == "true" then
|
||||||
|
@ -729,7 +731,7 @@ function modmgr.handle_configure_world_buttons(fields)
|
||||||
local worldfile = io.open(filename,"w")
|
local worldfile = io.open(filename,"w")
|
||||||
|
|
||||||
if worldfile then
|
if worldfile then
|
||||||
worldfile:write("gameid = " .. modmgr.worldconfig.id .. "\n")
|
worldfile:write("gameid = " .. modmgr.worldconfig.id .. "\nbackend = " .. modmgr.worldconfig.backend .. "\n")
|
||||||
|
|
||||||
local rawlist = filterlist.get_raw_list(modmgr.modlist)
|
local rawlist = filterlist.get_raw_list(modmgr.modlist)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue