event onPlayerDisconnect (server-side)
Available since version: 0.3.0
Triggered when a player disconnects from the server.
Parameters
void onPlayerDisconnect(number player_id, number reason)
numberplayer_id: The id of the player that disconnected.numberreason: The reason why player got disconnected. See Network constants.