123456789101112131415161718 |
- import sys
- import urllib2
- def link_and_load(address, username, objs, fast):
- urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&element_type=V&value="%s"' % username)).read()
- sys.path.append("interface/HUTN")
- from hutn_compiler.linker import link
- link(address, username, objs, fast)
- if __name__ == "__main__":
- address = sys.argv[1]
- username = sys.argv[2]
- objs = [arg for arg in sys.argv[3:] if arg != "--fast"]
- fast = "--fast" in sys.argv[3:]
- link_and_load(address, username, objs, fast)
|