Delete a temporary compilation user after the compilation

scripts/compile.py

@@ -11,7 +11,11 @@ def do_compile(address, filename, username, modulename, mode, optionals=[], gram
     except urllib2.URLError:
         return 2
     except:
+        urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="__delete"')).read()
+        urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="%s"' % username)).read()
         return 1
+    urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="__delete"')).read()
+    urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="%s"' % username)).read()
     return 0
 
 if __name__ == "__main__":