Index: build/android/adb_kill_chrome_shell |
diff --git a/build/android/adb_kill_chrome_shell b/build/android/adb_kill_chrome_shell |
new file mode 100755 |
index 0000000000000000000000000000000000000000..2b63c9af3d24af629ab42222fdbf885bdd4cd433 |
--- /dev/null |
+++ b/build/android/adb_kill_chrome_shell |
@@ -0,0 +1,24 @@ |
+#!/bin/bash |
+# |
+# Copyright (c) 2012 The Chromium Authors. All rights reserved. |
+# Use of this source code is governed by a BSD-style license that can be |
+# found in the LICENSE file. |
+# |
+# Kill a running chrome shell. |
+# |
+# Assumes you have sourced the build/android/envsetup.sh script. |
+ |
+SHELL_PID_LINES=$(adb shell ps | grep ' org.chromium.chrome.shell') |
+VAL=$(echo "$SHELL_PID_LINES" | wc -l) |
+if [ $VAL -lt 1 ] ; then |
+ echo "Not running Chrome shell." |
+else |
+ SHELL_PID=$(echo $SHELL_PID_LINES | awk '{print $2}') |
+ if [ "$SHELL_PID" != "" ] ; then |
+ set -x |
+ adb shell kill $SHELL_PID |
+ set - |
+ else |
+ echo "Chrome shell does not appear to be running." |
+ fi |
+fi |