X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fgame_session.cpp;h=edf057fefddd0cf5d3c23e8e61e774b272a980b2;hb=eb7c6ccdd326f6bceb67cd5259015dd994b04928;hp=cec4a015f9c6f5821f2e2a8df87da51601a345cd;hpb=f1e15f44f709d6b4fa45e858dc12d7d701ae8ddc;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;