diff options
Diffstat (limited to 'src/vyconfd.ml')
| -rw-r--r-- | src/vyconfd.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vyconfd.ml b/src/vyconfd.ml index fc47bf6..a5117b6 100644 --- a/src/vyconfd.ml +++ b/src/vyconfd.ml @@ -236,7 +236,7 @@ let rec handle_connection world ic oc () = | _ as req -> begin (match req with - | _, Status -> response_tmpl + | _, Prompt -> response_tmpl | _, Setup_session r -> setup_session world r | _, Reload_reftree r -> reload_reftree world r | None, _ -> {response_tmpl with status=Fail; output=(Some "Operation requires session token")} |