diff options
author | nerzhul <loic.blot@unix-experience.fr> | 2015-07-16 17:37:46 +0200 |
---|---|---|
committer | Loic Blot <loic.blot@unix-experience.fr> | 2015-07-16 20:27:42 +0200 |
commit | f9dbec6edf94ce20d52d38569545674cfb742eae (patch) | |
tree | fcb4e9f1b3d96a97fb5998d4aea7a67e2d28ba73 /src/environment.h | |
parent | 655fc6010ffd4be7de315be261df2a61d5d4538a (diff) | |
download | minetest-f9dbec6edf94ce20d52d38569545674cfb742eae.tar.gz minetest-f9dbec6edf94ce20d52d38569545674cfb742eae.tar.bz2 minetest-f9dbec6edf94ce20d52d38569545674cfb742eae.zip |
Kick players when shutting down server and there is a crash due to a Lua stack exception
Diffstat (limited to 'src/environment.h')
-rw-r--r-- | src/environment.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/environment.h b/src/environment.h index b35ca4249..794f1971c 100644 --- a/src/environment.h +++ b/src/environment.h @@ -221,6 +221,7 @@ public: float getSendRecommendedInterval() { return m_recommended_send_interval; } + void kickAllPlayers(const std::string &reason); // Save players void saveLoadedPlayers(); void savePlayer(const std::string &playername); |