diff options
-rw-r--r-- | src/defaults.ml | 8 | ||||
-rw-r--r-- | src/defaults.mli | 4 |
2 files changed, 9 insertions, 3 deletions
diff --git a/src/defaults.ml b/src/defaults.ml index f815266..be77e89 100644 --- a/src/defaults.ml +++ b/src/defaults.ml @@ -1,9 +1,13 @@ type vyconf_defaults = { config_file: string; - version: string + version: string; + pid_file: string; + socket: string; } let defaults = { config_file = "/etc/vyconfd.conf"; - version = "0.0.1" + version = "0.0.1"; + pid_file = "/var/run/vyconfd.pid"; + socket = "/var/run/vyconfd.sock"; } diff --git a/src/defaults.mli b/src/defaults.mli index 44ed76d..e5305b5 100644 --- a/src/defaults.mli +++ b/src/defaults.mli @@ -1,6 +1,8 @@ type vyconf_defaults = { config_file: string; - version: string + version: string; + pid_file: string; + socket: string; } val defaults : vyconf_defaults |