compile.py 1.5 KB

12345678910111213141516171819202122232425262728293031323334
  1. import sys
  2. import os
  3. import urllib2
  4. import subprocess
  5. def do_compile(address, filename, username, modulename, mode, optionals=[], grammar="grammars/actionlanguage.g"):
  6. filename = os.path.realpath(filename)
  7. try:
  8. urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="%s"' % username)).read()
  9. subprocess.check_call([sys.executable, "hutn_compiler/compiler.py", filename, grammar, mode, username, modulename, filename, address] + optionals, cwd="interface/HUTN")
  10. except urllib2.URLError:
  11. return 2
  12. except:
  13. urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="__delete"')).read()
  14. urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="%s"' % username)).read()
  15. return 1
  16. urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="__delete"')).read()
  17. urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="%s"' % username)).read()
  18. return 0
  19. if __name__ == "__main__":
  20. if len(sys.argv) != 6:
  21. sys.stderr.write("Expected different parameters!\n")
  22. sys.stderr.write(" %s address filename username modulename mode\n" % sys.argv[0])
  23. sys.exit(1)
  24. else:
  25. address = sys.argv[1]
  26. filename = sys.argv[2]
  27. username = sys.argv[3]
  28. modulename = sys.argv[4]
  29. mode = sys.argv[5]
  30. sys.exit(do_compile(address, filename, username, modulename, mode))