From 791d27fe5b41045f59d2b9dfaf7683378617248f Mon Sep 17 00:00:00 2001
From: Stephen Soltesz <soltesz@cs.princeton.edu>
Date: Fri, 8 Aug 2008 19:28:54 +0000
Subject: [PATCH] create a php config file from the python config file
 monitorconfig.py

---
 phpconfig.py | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 phpconfig.py

diff --git a/phpconfig.py b/phpconfig.py
new file mode 100755
index 0000000..663bcc3
--- /dev/null
+++ b/phpconfig.py
@@ -0,0 +1,10 @@
+#!/usr/bin/python
+
+import monitorconfig
+
+print "<?php"
+for attr in dir(monitorconfig):
+	val = monitorconfig.__getattribute__(attr)
+	if attr[0].isupper():
+		print "define('%s', '%s'); " % (attr, val)
+print "?>"
-- 
2.47.0