src/eric7/JediInterface/JediClient.py

branch
eric7
changeset 9576
be9f8e7e42e0
parent 9387
ce743c468d09
child 9637
e3f0fc3bb6ff
equal deleted inserted replaced
9575:635b6c5a36e1 9576:be9f8e7e42e0
599 del self.__refactorings[uid] 599 del self.__refactorings[uid]
600 600
601 601
602 if __name__ == "__main__": 602 if __name__ == "__main__":
603 if len(sys.argv) != 5: 603 if len(sys.argv) != 5:
604 print("Host, port, id and module path parameters are missing." " Abort.") 604 print("Host, port, id and module path parameters are missing. Abort.")
605 sys.exit(1) 605 sys.exit(1)
606 606
607 host, port, idString = sys.argv[1:-1] 607 host, port, idString = sys.argv[1:-1]
608 608
609 client = JediClient(host, int(port), idString) 609 client = JediClient(host, int(port), idString)

eric ide

mercurial