| 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')
|
|
|