From 617624e2a81ec00dd5484a7e0ee7ca8f21a3ffff Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 9 Jun 2016 11:27:57 +0000
Subject: [PATCH] =?UTF-8?q?PGFService:=20eleminate=20warning=20"Defined=20?=
 =?UTF-8?q?but=20not=20used:=20=E2=80=98serverError=E2=80=99"?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/server/PGFService.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs
index 44f0b7e14..1f75a8904 100644
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -312,6 +312,10 @@ instance ToATree C.Expr where
   showTree = show
   toATree = cToATree
 
+#else
+
+serverError = throw 500
+
 #endif
 
 --------------------------------------------------------------------------------
@@ -522,7 +526,6 @@ errorMissingId = badRequest "Missing identifier" ""
 
 notFound = throw 404 "Not found"
 badRequest = throw 400
-serverError = throw 500
 
 throw code msg extra =
     throwCGIError code msg [msg ++(if null extra then "" else ": "++extra)]