| commit | c08cba22933929641fb8e4ace4de12d6c2d49d16 | |
| author | Kirill <kirillathome@gmail.com> | |
| Mon, 9 Nov 2009 23:18:22 +0000 (9 18:18 -0500) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 10 Nov 2009 10:18:00 +0000 (10 11:18 +0100) | ||
| tree | a11969318ce12717ebb4f84f124f4a13508aa73f | treesnapshot (tar.gz zip) |
| parent | e786bee0c9d20f71acb99cd54db7c93f07c3083a | commitdiff |
Use case-insensitive search for explorer.exe and taskmgr.exe
On my system, the process is called Explorer.exe, which breaks the script.
On my system, the process is called Explorer.exe, which breaks the script.
| explorer/kill-explorer.sh | diffblobblamehistory |