old code would nuke default_config.xml, this version will add it to a local
[plcrt.git] / getadmins.py
2009-06-26 Stephen Solteszuse a simpler plcsh script rather than monitor's tools...