create a php config file from the python config file monitorconfig.py
authorStephen Soltesz <soltesz@cs.princeton.edu>
Fri, 8 Aug 2008 19:28:54 +0000 (19:28 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Fri, 8 Aug 2008 19:28:54 +0000 (19:28 +0000)
phpconfig.py [new file with mode: 0755]

diff --git a/phpconfig.py b/phpconfig.py
new file mode 100755 (executable)
index 0000000..663bcc3
--- /dev/null
@@ -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 "?>"