diff --git a/http_exception.pl b/http_exception.pl index 0893f00..4c08ff6 100644 --- a/http_exception.pl +++ b/http_exception.pl @@ -118,7 +118,7 @@ resource_error(E), [connection(close)], []) :- - resource_error(E), + is_resource_error(E), !. map_exception_to_http_status(E, bad_request(E2), @@ -132,7 +132,7 @@ [connection(close)], []). -resource_error(error(resource_error(_), _)). +is_resource_error(error(resource_error(_), _)). bad_request_exception(error(Error, Context)) :- nonvar(Error),