gameServer/CoreTypes.hs
changeset 11472 f2c36df8c7b1
parent 11471 4b5c7a5c49fd
child 11561 af9aa8d5863c
equal deleted inserted replaced
11471:4b5c7a5c49fd 11472: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,