mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
PGFService: eleminate warning "Defined but not used: ‘serverError’"
This commit is contained in:
@@ -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)]
|
||||
|
||||
Reference in New Issue
Block a user