diff options
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/session.ml b/src/session.ml index 86374dd..90ab5c8 100644 --- a/src/session.ml +++ b/src/session.ml @@ -36,12 +36,12 @@ let make world client_app user = { let string_of_op op = match op with | CfgSet (path, value, _) -> - let path_str = Util.string_of_path path in + let path_str = Util.string_of_list path in (match value with | None -> Printf.sprintf "set %s" path_str | Some v -> Printf.sprintf "set %s \"%s\"" path_str v) | CfgDelete (path, value) -> - let path_str = Util.string_of_path path in + let path_str = Util.string_of_list path in (match value with | None -> Printf.sprintf "delete %s" path_str | Some v -> Printf.sprintf "delete %s \"%s\"" path_str v) |