749 {
750 if (player.IsAlive())
751 {
753 {
754 PluginAdminLog adm = PluginAdminLog.Cast(
GetPlugin(PluginAdminLog));
755 adm.PlayerKilledByDisconnect(player);
756
757 player.SetHealth("", "", 0.0);
758 }
759 else
760 {
761 player.Delete();
762 }
763 }
764 }
PluginBase GetPlugin(typename plugin_type)
bool ShouldPlayerBeKilled(PlayerBase player)