Simple Python XMLRPC server, originally to run on c9.io