Rename binary again; increase noise; stop trying to actually kill the process.
diff --git a/Tools/buildbot/kill_python.c b/Tools/buildbot/kill_python.c
index f84df1d..66d6f7f 100644
--- a/Tools/buildbot/kill_python.c
+++ b/Tools/buildbot/kill_python.c
@@ -44,6 +44,7 @@
_strlwr(path);
printf("%s\n", path);
fflush(stdout);
+ /*
if (strstr(path, "build\\pcbuild\\python_d.exe") != NULL) {
printf("Terminating %s (pid %d)\n", path, pids[i]);
if (!TerminateProcess(hProcess, 1)) {
@@ -52,6 +53,7 @@
}
return 0;
}
+ */
CloseHandle(hProcess);
}