From c6563268a6571b158a8a82fe4ca88f2802ee6aa9 Mon Sep 17 00:00:00 2001 From: Vivien Kraus Date: Sat, 19 Jun 2021 10:54:43 +0200 Subject: Implement the GET, HEAD, OPTIONS methods for the server --- doc/webid-oidc.texi | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc/webid-oidc.texi') diff --git a/doc/webid-oidc.texi b/doc/webid-oidc.texi index 8f08485..ccb6e25 100644 --- a/doc/webid-oidc.texi +++ b/doc/webid-oidc.texi @@ -1218,6 +1218,11 @@ conditions. There is no registered resource at @var{path}. @end deftp +@deftp {exception type} &auxiliary-resource-absent @var{path} @var{kind} +The auxiliary resource of given @var{kind} is not instanciated on the +server for the base resource @var{path}. +@end deftp + @deftp {exception type} &uri-slash-semantics-error @var{path} @var{expected-path} While the resource at @var{path} does not exist, the resource at @var{expected-path} does, and @var{path} and @var{expected-path} -- cgit v1.2.3