| 12345678910111213141516 |
- import sys
- import urllib2
- address = sys.argv[1]
- username = sys.argv[2]
- urllib2.urlopen(urllib2.Request(address, "op=set_input&username=user_manager&element_type=V&value=\"%s\"" % username)).read()
- objects = [arg for arg in sys.argv[3:] if arg is not "--fast"]
- fast = len(objects) != len(sys.argv[3:])
- sys.path.append("interface/HUTN")
- from hutn_compiler.linker import link
- link(address, username, sys.argv[3:], fast)
|
