diff options
Diffstat (limited to 'doc/webid-oidc.texi')
| -rw-r--r-- | doc/webid-oidc.texi | 5 |
1 files changed, 5 insertions, 0 deletions
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} |