diff options
-rw-r--r-- | src/game.cpp | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/game.cpp b/src/game.cpp index 41bfa5e60..d5819f78a 100644 --- a/src/game.cpp +++ b/src/game.cpp @@ -4352,9 +4352,13 @@ void the_game(bool *kill, } } catch (SerializationError &e) { - error_message = std::string("A serialization error occurred:\n") - + e.what() + "\n\nThe server is probably " - " running a different version of " PROJECT_NAME_C "."; + error_message = strgettext("A serialization error occurred:") + + "\n" + e.what(); + if (!simple_singleplayer_mode) { + error_message += "\n\n" + + strgettext("The server is probably running a different version of") + + " " PROJECT_NAME_C "."; + } errorstream << error_message << std::endl; } catch (ServerError &e) { error_message = e.what(); |