gameServer/CoreTypes.hs
changeset 5000 72d8fb26223d
parent 4996 76ef3d8bd78e
child 5001 312f4dd41753
equal deleted inserted replaced
4999:a3a09b107652 5000:72d8fb26223d
   204     | RestartException
   204     | RestartException
   205      deriving (Show, Typeable)
   205      deriving (Show, Typeable)
   206 
   206 
   207 instance Exception ShutdownException
   207 instance Exception ShutdownException
   208 
   208 
   209 data ShutdownThreadException = ShutdownThreadException
   209 data ShutdownThreadException = ShutdownThreadException String
   210      deriving (Show, Typeable)
   210      deriving Typeable
   211 
   211 
       
   212 instance Show ShutdownThreadException where
       
   213     show (ShutdownThreadException s) = "kill: " ++ s
   212 instance Exception ShutdownThreadException
   214 instance Exception ShutdownThreadException