Source file context.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
type server_info = {
  name : string;
  version_major : int;
  version_minor : int;
  version_patch : int;
  revision : int;
  timezone : string option;
  display_name : string;
}

type t = {
  mutable server_info : server_info option;
  mutable settings : (string * string) list; (* serialized-as-strings path *)
  mutable client_settings : (string * string) list;
}

let make () = { server_info = None; settings = []; client_settings = [] }