X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fgame_session.cpp;h=edf057fefddd0cf5d3c23e8e61e774b272a980b2;hb=ebda3ab7ce3e30d8225228ffe8df3316b4f73645;hp=cec4a015f9c6f5821f2e2a8df87da51601a345cd;hpb=06d8c72d9ebafa93f8d3bb63b00a2d0bdba61b82;p=supertux.git

diff --git a/src/game_session.cpp b/src/game_session.cpp
index cec4a015f..edf057fef 100644
--- a/src/game_session.cpp
+++ b/src/game_session.cpp
@@ -636,6 +636,12 @@ GameSession::run()
 }
 
 void
+GameSession::finish()
+{
+  exit_status = ES_LEVEL_FINISHED;
+}
+
+void
 GameSession::respawn(const std::string& sector, const std::string& spawnpoint)
 {
   newsector = sector;