(name)
| 754 | |
| 755 | |
| 756 | def CheckedUnlink(name): |
| 757 | while True: |
| 758 | try: |
| 759 | os.unlink(name) |
| 760 | except OSError as e: |
| 761 | # On Windows unlink() fails if another process (typically a virus scanner |
| 762 | # or the indexing service) has the file open. Those processes keep a |
| 763 | # file open for a short time only, so yield and try again; it'll succeed. |
| 764 | if sys.platform == 'win32' and e.errno == errno.EACCES: |
| 765 | time.sleep(0) |
| 766 | continue |
| 767 | PrintError("os.unlink() " + str(e)) |
| 768 | break |
| 769 | |
| 770 | def Execute(args, context, timeout=None, env=None, disable_core_files=False, |
| 771 | stdin=None, max_virtual_memory=None): |
no test coverage detected
searching dependent graphs…