diff -r a51f5f88f3cf -r 1addfe9fddb1 gameServer/OfficialServer/DBInteraction.hs
--- a/gameServer/OfficialServer/DBInteraction.hs	Wed Aug 12 12:48:57 2009 +0000
+++ b/gameServer/OfficialServer/DBInteraction.hs	Wed Aug 12 12:52:14 2009 +0000
@@ -40,9 +40,9 @@
 #if defined(OFFICIAL_SERVER)
 -------------------------------------------------------------------
 -- borrowed from base 4.0.0 ---------------------------------------
-onException :: IO a -> IO b -> IO a                              --
-onException io what = io `catch` \e -> do what                   --
-                                          throw (e :: Exception) --
+onException :: IO a -> IO b -> IO a
+onException io what = io `Exception.catch` \e -> do what
+                                          Exception.throw (e :: Exception)
 -- to be deleted --------------------------------------------------
 -------------------------------------------------------------------