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) |