widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #01695
[Merge] lp:~nasenbaer/widelands/bug-fix-1274279 into lp:widelands
Nasenbaer has proposed merging lp:~nasenbaer/widelands/bug-fix-1274279 into lp:widelands.
Requested reviews:
Widelands Developers (widelands-dev)
Related bugs:
Bug #1274279 in widelands: "Metaserver entry in config gets deleted"
https://bugs.launchpad.net/widelands/+bug/1274279
For more details, see:
https://code.launchpad.net/~nasenbaer/widelands/bug-fix-1274279/+merge/204299
Minimal invasive fix for bug 1274279, I see absolutely no reason why this should break things. Anyway the bug is not a very important one, so maybe we should still go the safer than safe way :)
--
https://code.launchpad.net/~nasenbaer/widelands/bug-fix-1274279/+merge/204299
Your team Widelands Developers is requested to review the proposed merge of lp:~nasenbaer/widelands/bug-fix-1274279 into lp:widelands.
=== modified file 'src/wlapplication.cc'
--- src/wlapplication.cc 2013-10-29 07:51:14 +0000
+++ src/wlapplication.cc 2014-01-31 17:45:19 +0000
@@ -888,6 +888,8 @@
s.get_string("servername");
s.get_string("realname");
s.get_string("ui_font");
+ s.get_string("metaserver");
+ s.get_natural("metaserverport");
// KLUDGE!
return true;
Follow ups