core/AdminCache.h
changeset 520 7676d61cde2d
parent 458 77520125ee67
child 673 fc1d50579d06
     1.1 --- a/core/AdminCache.h	Sat Feb 17 17:35:09 2007 +0000
     1.2 +++ b/core/AdminCache.h	Sat Feb 17 19:03:18 2007 +0000
     1.3 @@ -159,6 +159,7 @@
     1.4  	int m_LastUser;
     1.5  	int m_FreeUserList;
     1.6  	bool m_InvalidatingAdmins;
     1.7 +	bool m_destroying;
     1.8  };
     1.9  
    1.10  extern AdminCache g_Admins;