diff options
| author | hallgren <hallgren@chalmers.se> | 2016-05-26 13:56:43 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2016-05-26 13:56:43 +0000 |
| commit | 9f1da17d06e87ae147051cd1f31a63bf6fd887ab (patch) | |
| tree | 7712d3942f19a201837638c873c77f82f6e3c19c | |
| parent | cfdd9621ff7e28744ac56b51d2eddbe1ea8fa6c4 (diff) | |
PGFService.hs: fix compilation problem when C run-time support is omitted
| -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)] |