--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/config/_socket_file.cc	Wed Jan 16 22:39:43 2008 +0100
@@ -0,0 +1,10 @@
+#include "configio.h"
+#include <limits.h>
+
+static mystring default_socket_file("/tmp/.vmailmgrd");
+static const mystring filename_socket_file = "socket-file";
+mystring configuration::socket_file() const {
+  return read_str(filename_socket_file,
+                    default_socket_file,
+		    (config_cache<mystring>&)socket_file_cache);
+}