# HG changeset patch # User Nicholas Jillings # Date 1448626884 0 # Node ID 20268b33cfaa554eda19da36603261903f8aa79a # Parent bc074d4ee7605e913a1791ae1ea241545d6e9cc8# Parent b2a2a39f3e11e0b84b12d1aeb989b8d8286e5247 Merge diff -r b2a2a39f3e11 -r 20268b33cfaa pythonServer.py --- a/pythonServer.py Fri Nov 27 12:20:56 2015 +0000 +++ b/pythonServer.py Fri Nov 27 12:21:24 2015 +0000 @@ -62,15 +62,21 @@ postVars = self.rfile.read(varLen) print curFileName file = open('saves/'+curFileName,'w') - curSaveIndex += 1; - curFileName = 'test-'+str(curSaveIndex)+'.xml' - print curFileName file.write(postVars) file.close() + try: + wbytes = os.path.getsize('saves/'+curFileName) + except OSError: + self.send_response(200) + self.send_header("Content-type", "text/xml") + self.end_headers() + self.wfile.write('Could not open file') self.send_response(200) self.send_header("Content-type", "text/xml") self.end_headers() - self.wfile.write('OK"saves/'+curFileName+'"') + self.wfile.write('OK"saves/'+curFileName+'"') + curSaveIndex += 1 + curFileName = 'test-'+str(curSaveIndex)+'.xml' class MyHandler(BaseHTTPServer.BaseHTTPRequestHandler): def do_HEAD(s): @@ -98,7 +104,7 @@ def do_POST(request): if(request.client_address[0] == "127.0.0.1"): - if (request.path == "/save"): + if (request.path == "/save" or request.path == "/save.php"): saveFile(request) else: send404(request)