diff --git a/tools/task_kill.py b/tools/task_kill.py index da6083c8d8b..16ccd636b93 100755 --- a/tools/task_kill.py +++ b/tools/task_kill.py @@ -37,7 +37,6 @@ EXECUTABLE_NAMES = { 'iexplore': 'iexplore.exe', 'vctip': 'vctip.exe', 'mspdbsrv': 'mspdbsrv.exe', - 'explorer': 'explorer.exe', }, 'linux': { 'chrome': 'chrome', @@ -307,20 +306,6 @@ def Main(): status += KillVSBuild() if options.kill_browsers == 'True': status += KillBrowsers() - if os_name == 'win32': - # On Windows 11, a bunch of files accumulate in temp named `xml_file (#).xml`. - # These seem to be created by taskbar widgets. The swarming client is unable - # to delete them, presumably because Explorer normally still running. Killing - # Explorer should allow these files to be deleted. If it doesn't restart, it - # should also prevent them from being created. - status += Kill('explorer') - for path, dirs, files in os.walk(os.environ['TEMP']): - for filename in files: - print(os.path.join(path, filename)) - for path, dirs, files in os.walk( - os.path.join(os.environ['LOCALAPPDATA'], 'Temp')): - for filename in files: - print(os.path.join(path, filename)) return status