diff options
| -rw-r--r-- | src/server/PGFService.hs | 5 |
1 files changed, 4 insertions, 1 deletions
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)] |