From 2e61008fd99849a9587f2e7f7f0a2b94fb169391 Mon Sep 17 00:00:00 2001 From: Perttu Ahola Date: Sun, 11 Mar 2012 21:24:29 +0200 Subject: [PATCH] Use default_game when making a new world using --world without --gameid --- src/main.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/main.cpp b/src/main.cpp index 01c9b2c5c..5e46018c3 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -1279,7 +1279,9 @@ int main(int argc, char *argv[]) menudata.selected_world = -1; // If a world was commanded, append and select it if(commanded_world != ""){ - std::string gameid = getWorldGameId(commanded_world); + std::string gameid = getWorldGameId(commanded_world, true); + if(gameid == "") + gameid = g_settings->get("default_game"); WorldSpec spec(commanded_world, "[commanded world]", gameid); worldspecs.push_back(spec); menudata.worlds.push_back(narrow_to_wide(spec.name)