Index: tools/task_kill.py |
diff --git a/tools/task_kill.py b/tools/task_kill.py |
index 457e45f539cddc80cbc75c1057ea89ef90a2a7f2..a0911649130a6b725f12b37724ac911bea90b792 100755 |
--- a/tools/task_kill.py |
+++ b/tools/task_kill.py |
@@ -172,7 +172,9 @@ def Kill(name): |
def KillBrowsers(): |
status = Kill('firefox') |
- status += Kill('chrome') |
+ # We don't give error on killing chrome. It happens quite often that the |
+ # browser controller fails in killing chrome, so we silently do it here. |
+ Kill('chrome') |
status += Kill('iexplore') |
status += Kill('safari') |
status += Kill('content_shell') |