oss/luanti
oss/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-09-05 18:41:05 +00:00
Code Wiki Activity

Implemented disconnect_player (#10492)

Browse source 
Co-authored-by: rubenwardy <rw@rubenwardy.com>
This commit is contained in:
Corey Powell 2021-11-26 14:19:40 -05:00 • committed by GitHub
parent c85aa0030f
commit 413be76c63
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 22 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/script/lua_api/l_server.h
View file

@ -97,8 +97,8 @@ private:
// unban_player_or_ip()
static int l_unban_player_or_ip(lua_State *L);
// kick_player(name, [message]) -> success
static int l_kick_player(lua_State *L);
// disconnect_player(name, [reason]) -> success
static int l_disconnect_player(lua_State *L);
// remove_player(name)
static int l_remove_player(lua_State *L);