(self)
| 880 | pydev_log.exception("Error setting up auto-reload.") |
| 881 | |
| 882 | def get_arg_ppid(self): |
| 883 | try: |
| 884 | setup = SetupHolder.setup |
| 885 | if setup: |
| 886 | return int(setup.get("ppid", 0)) |
| 887 | except: |
| 888 | pydev_log.exception("Error getting ppid.") |
| 889 | |
| 890 | return 0 |
| 891 | |
| 892 | def wait_for_ready_to_run(self): |
| 893 | while not self.ready_to_run: |