690 {
691 if (player.IsAlive())
692 {
694 {
695 PluginAdminLog adm = PluginAdminLog.Cast(
GetPlugin(PluginAdminLog));
696 adm.PlayerKilledByDisconnect(player);
697
698 player.SetHealth("", "", 0.0);
699 }
700 else
701 {
702 player.Delete();
703 }
704 }
705 }
PluginBase GetPlugin(typename plugin_type)
bool ShouldPlayerBeKilled(PlayerBase player)