gameServer/CoreTypes.hs
changeset 11467 f2c36df8c7b1
parent 11466 4b5c7a5c49fd
child 11556 af9aa8d5863c
equal deleted inserted replaced
11466:4b5c7a5c49fd 11467:f2c36df8c7b1
   140         pingsQueue :: !Word,
   140         pingsQueue :: !Word,
   141         isMaster :: !Bool,
   141         isMaster :: !Bool,
   142         isReady :: !Bool,
   142         isReady :: !Bool,
   143         isInGame :: !Bool,
   143         isInGame :: !Bool,
   144         isAdministrator :: !Bool,
   144         isAdministrator :: !Bool,
       
   145         hasSuperPower :: !Bool,
   145         isChecker :: !Bool,
   146         isChecker :: !Bool,
   146         isContributor :: !Bool,
   147         isContributor :: !Bool,
   147         isKickedFromServer :: !Bool,
   148         isKickedFromServer :: !Bool,
   148         isJoinedMidGame :: !Bool,
   149         isJoinedMidGame :: !Bool,
   149         hasAskedList :: !Bool,
   150         hasAskedList :: !Bool,