--- 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 --------------------------------------------------
-------------------------------------------------------------------