branch | ui-scaling |
changeset 15288 | c4fd2813b127 |
parent 13678 | 1aa5e884326a |
--- a/gameServer/ClientIO.hs Wed May 16 18:22:28 2018 +0200 +++ b/gameServer/ClientIO.hs Wed Jul 31 23:14:27 2019 +0200 @@ -96,6 +96,7 @@ where killReciever = Exception.throwTo tId . ShutdownThreadException + -- intentionally not localized quitMessage ["BYE"] = "bye" quitMessage ("BYE":msg:_) = msg quitMessage _ = error "quitMessage"