+ new XMLRPC_SERVER name to boot.planet-lab.org
[monitor.git] / util / __init__.py
1 __all__=["writepid","removepid","daemonize"]