diff options
| -rw-r--r-- | src/server/PGFService.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 4abd52d6a..5e673ca75 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -521,7 +521,7 @@ errorMissingId = badRequest "Missing identifier" "" notFound = throw 404 "Not found" badRequest = throw 400 ---serverError = throw 500 +serverError = throw 500 throw code msg extra = throwCGIError code msg [msg ++(if null extra then "" else ": "++extra)] |