default config file

diff --git a/monitor.conf b/monitor.conf
new file mode 100644 (file)
index 0000000..d8d1e40
--- /dev/null
+++ b/monitor.conf
@@ -0,0 +1,34 @@
+[monitorconfig]
+RT_DB_HOST=rt.planet-lab.org
+RT_DB_USER=
+RT_DB_PASSWORD=
+RT_DB_NAME=
+
+# RT Web user account
+RT_WEB_SERVER=https://rt.planet-lab.org/
+RT_WEB_TOOLS_PATH=
+RT_WEB_USER=
+RT_WEB_PASSWORD=
+RT_WEB_DEBUG=0
+
+# PLC admin account
+API_SERVER=https://boot.planet-lab.org/PLCAPI/
+API_AUTH_USER=
+API_AUTH_PASSWORD=
+
+# SERVER PATHS
+MONITOR_HOSTNAME=monitor.planet-lab.org
+MONITOR_SCRIPT_ROOT=
+MONITOR_DATA_ROOT=
+MONITOR_DATA_ROOTWEB=/var/www/cgi-bin/pdb
+MONITOR_ARCHIVE_ROOT=
+
+[commandline]
+debug=0
+mail=1
+bcc=0
+email=
+run=False
+checkopt=False
+squeeze=1
+policysavedb=1