| changeset 235 | a66e150f2888 |
| parent 234 | aff053bad924 |
| child 242 | fc6d1988e4da |
| 234:aff053bad924 | 235:a66e150f2888 |
|---|---|
482 else: |
482 else: |
483 event.Veto() |
483 event.Veto() |
484 return |
484 return |
485 |
485 |
486 # shutdown local runtime |
486 # shutdown local runtime |
487 self.local_runtime.kill() |
487 self.local_runtime.kill(gently=False) |
488 # clear temp dir |
488 # clear temp dir |
489 shutil.rmtree(self.local_runtime_tmpdir) |
489 shutil.rmtree(self.local_runtime_tmpdir) |
490 |
490 |
491 event.Skip() |
491 event.Skip() |
492 |
492 |