1.1 --- a/core/PlayerManager.h	Thu Jul 07 19:53:56 2011 -0400
     1.2 +++ b/core/PlayerManager.h	Thu Jul 07 21:31:07 2011 -0400
     1.3 @@ -161,7 +161,7 @@
     1.4  	int GetMaxClients();
     1.5  	int GetNumPlayers();
     1.6  	int GetClientOfUserId(int userid);
     1.7 -	bool IsServerActivated();
     1.8 +	bool IsServerActivated() const;
     1.9  	int FilterCommandTarget(IGamePlayer *pAdmin, IGamePlayer *pTarget, int flags);
    1.10  	int InternalFilterCommandTarget(CPlayer *pAdmin, CPlayer *pTarget, int flags);
    1.11  	void RegisterCommandTargetProcessor(ICommandTargetProcessor *pHandler);