Fix player not being internally disconnected in some situation + add client_disconnected forward

2015-07-17 00:26:30 +02:00
parent a9015d1d84
commit ed4faf7c11
21 changed files with 158 additions and 14 deletions
--- a/plugins/dod/stats.sma
+++ b/plugins/dod/stats.sma
@@ -819,7 +819,7 @@ new NumOfLeaders
 new LeaderID 
 new PScore[MAX_PLAYERS + 1] 

-public client_disconnect(id) { 
+public client_disconnected(id) { 
  if ( !LeadSounds || isDSMActive() ) return PLUGIN_CONTINUE
  if ( PScore[id] == LeaderScore && LeaderScore > 0 ){ 
    NumOfLeaders --