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 c07b1b3..d8fa7c5 100644 --- a/src/vyconfd.ml +++ b/src/vyconfd.ml @@ -40,7 +40,7 @@ let make_session_token () = let setup_session world req = let token = make_session_token () in let user = "unknown user" in - let client_app = Util.substitute_default req.client_application "unknown client" in + let client_app = BatOption.default "unknown client" req.client_application in let () = Hashtbl.add sessions token (Session.make world client_app user) in {response_tmpl with output=(Some token)} |