Shell/RPC: use GET request for /errors

This commit is contained in:
Grégoire Henry 2018-04-21 16:43:00 +02:00 committed by Benjamin Canou
parent 3783e43a2e
commit 0ad85aca21
2 changed files with 2 additions and 3 deletions

View File

@ -75,10 +75,9 @@ let patch_service = patch_service ~error:error_encoding
let put_service = put_service ~error:error_encoding let put_service = put_service ~error:error_encoding
let error_service = let error_service =
post_service get_service
~description: "Schema for all the RPC errors from the shell" ~description: "Schema for all the RPC errors from the shell"
~query: RPC_query.empty ~query: RPC_query.empty
~input: Data_encoding.empty
~output: Data_encoding.json_schema ~output: Data_encoding.json_schema
RPC_path.(root / "errors") RPC_path.(root / "errors")

View File

@ -79,6 +79,6 @@ val description_service:
unit, Json_schema.schema Resto.Description.directory) service unit, Json_schema.schema Resto.Description.directory) service
val error_service: val error_service:
([ `POST ], unit, unit, unit, unit, Json_schema.schema) service ([ `GET ], unit, unit, unit, unit, Json_schema.schema) service
val error_encoding: error Data_encoding.t val error_encoding: error Data_encoding.t