[wesnoth-commits] [wesnoth/wesnoth] b03ccb: wesnothd: improve handling of client disconnects d...

[Sergey Popov]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: b03ccb25e4b6193efbb49dfa76c2561e3f28c569
      https://github.com/wesnoth/wesnoth/commit/b03ccb25e4b6193efbb49dfa76c2561e3f28c569
  Author: loonycyborg <loonycyborg at gmail.com>
  Date:   2019-04-05 (Fri, 05 Apr 2019)

  Changed paths:
    M src/server/server.cpp

  Log Message:
  -----------
  wesnothd: improve handling of client disconnects during game creation

Ensure that both places that call game::remove_player also check its
return value that tells whether entire game should be ended too.
This should help with issue #4011