Merge lp:~widelands-dev/widelands/bug-1833352-empty-game-names into lp:widelands

[Toni Förster]

Fix for corner case: don't set empty game name if no game is present

[bunnybot (widelandsofficial)]

Continuous integration builds have changed state:

Travis build 5204. State: errored. Details: https://travis-ci.org/widelands/widelands/builds/548219574.
Appveyor build 4983. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_1833352_empty_game_names-4983.

[GunChleoc (gunchleoc)]

Yep, that fixed it :)

@bunnybot merge

review: Approve

[bunnybot (widelandsofficial)]

Refusing to merge, since Travis is not green. Use @bunnybot merge force for merging anyways.

Travis build 5204. State: errored. Details: https://travis-ci.org/widelands/widelands/builds/548219574.

[Toni Förster (stonerl)]

@bunnybot merge force

=== modified file 'src/ui_fsmenu/internet_lobby.cc'
--- src/ui_fsmenu/internet_lobby.cc	2019-05-29 13:23:54 +0000
+++ src/ui_fsmenu/internet_lobby.cc	2019-06-20 13:45:16 +0000
@@ -445,6 +445,9 @@
 				return;
 			}
 		}
+		if (games->empty() && servername_ui.empty()) {
+			servername_ui = _("unnamed");
+		}
 	}
 
 	g_options.pull_section("global").set_string("servername", servername_ui);