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.xz | |
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); |