diff options
| author | Sfan5 <sfan5@live.de> | 2013-09-09 20:26:46 +0200 |
|---|---|---|
| committer | Sfan5 <sfan5@live.de> | 2013-09-09 22:50:51 +0200 |
| commit | 1f3402e7a1e160c4be25c596f33d916b988075fb (patch) | |
| tree | fa1aa3f72c96e4939424ce4c70c5a552cb0ee248 | |
| parent | 49a75b18945bcbc75e59857374356497345f08af (diff) | |
| download | minetest-1f3402e7a1e160c4be25c596f33d916b988075fb.tar.gz minetest-1f3402e7a1e160c4be25c596f33d916b988075fb.tar.bz2 minetest-1f3402e7a1e160c4be25c596f33d916b988075fb.zip | |
Prevent ModMgr from deleting backend setting in world.mt
| -rw-r--r-- | builtin/modmgr.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/builtin/modmgr.lua b/builtin/modmgr.lua index 9f5f68a48..6562c77a8 100644 --- a/builtin/modmgr.lua +++ b/builtin/modmgr.lua @@ -513,6 +513,8 @@ function modmgr.get_worldconfig(worldpath) if key == "gameid" then worldconfig.id = parts[2]:trim() + elseif key == "backend" then + worldconfig.backend = parts[2]:trim() else local key = parts[1]:trim():sub(10) if parts[2]:trim() == "true" then @@ -729,7 +731,7 @@ function modmgr.handle_configure_world_buttons(fields) local worldfile = io.open(filename,"w") 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) |