gameServer/CoreTypes.hs
changeset 4960 3b54b1c9b768
parent 4959 09f4978b4fb0
child 4975 31da8979e5b1
equal deleted inserted replaced
4959:09f4978b4fb0 4960:3b54b1c9b768
   191 data Notice =
   191 data Notice =
   192     NickAlreadyInUse
   192     NickAlreadyInUse
   193     | AdminLeft
   193     | AdminLeft
   194     deriving Enum
   194     deriving Enum
   195 
   195 
   196 data ShutdownException = ShutdownException
   196 data ShutdownException =
       
   197     ShutdownException
       
   198     | RestartException
   197      deriving (Show, Typeable)
   199      deriving (Show, Typeable)
   198 
   200 
   199 instance Exception ShutdownException
   201 instance Exception ShutdownException