gameServer/ClientIO.hs
branchui-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"