Thanks for the explanation. I now see that my real problem is that the kill of course kill only the process directly invoked; but that process had at this time already invoked other child processes, and *they* are of course not killed, and they run to the end.
What possibilities exist in Windows to kill a process *including* all of its children in one go? On Solaris, I would use pkill. I think this is such a common problem that there is likely also something available for Windows...
In reply to Re^2: Killing on Windows
by rovf
in thread Killing on Windows
by rovf
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |