gameServer/CoreTypes.hs
changeset 5001 312f4dd41753
parent 5000 72d8fb26223d
child 5006 6913d677c891
equal deleted inserted replaced
5000:72d8fb26223d 5001:312f4dd41753
   208 
   208 
   209 data ShutdownThreadException = ShutdownThreadException String
   209 data ShutdownThreadException = ShutdownThreadException String
   210      deriving Typeable
   210      deriving Typeable
   211 
   211 
   212 instance Show ShutdownThreadException where
   212 instance Show ShutdownThreadException where
   213     show (ShutdownThreadException s) = "kill: " ++ s
   213     show (ShutdownThreadException s) = s
   214 instance Exception ShutdownThreadException
   214 instance Exception ShutdownThreadException