onDisconnectEvent
Handles the DisconnectEvent
This is fired when a player disconnects from the server. We will use this to schedule a shutdown if the server is empty.
Parameters
event
the DisconnectEvent
See also
DisconnectEvent
(https://jd.papermc.io/velocity/3.4.0/com/velocitypowered/api/event/connection/DisconnectEvent.html)