summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/defaults.ml8
-rw-r--r--src/defaults.mli4
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