Skip to content

Commit

Permalink
Extend comment to clarify delete_game()
Browse files Browse the repository at this point in the history
  • Loading branch information
loonycyborg committed Feb 11, 2018
1 parent 7e5ee60 commit e22c812
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/server/server.cpp
Expand Up @@ -2696,6 +2696,8 @@ void server::delete_game(int gameid) {
}

// Put the remaining users back in the lobby.
// This will call cleanup_game() deleter since there won't
// be any references to that game from player_connections_ anymore
for (const titer& it : range_vctor) {
player_connections_.get<game_t>().modify(it, player_record::enter_lobby);
}
Expand Down

0 comments on commit e22c812

Please sign in to comment.