736 {
737 if (player.IsAlive())
738 {
740 {
741 PluginAdminLog adm = PluginAdminLog.Cast(
GetPlugin(PluginAdminLog));
742 adm.PlayerKilledByDisconnect(player);
743
744 player.SetHealth("", "", 0.0);
745 }
746 else
747 {
748 player.Delete();
749 }
750 }
751 }
PluginBase GetPlugin(typename plugin_type)
bool ShouldPlayerBeKilled(PlayerBase player)