Index: build/android/adb_kill_chrome_public |
diff --git a/build/android/adb_kill_chrome_public b/build/android/adb_kill_chrome_public |
new file mode 100755 |
index 0000000000000000000000000000000000000000..5b539a043d4d910834f00c45b49112c89ec7bb17 |
--- /dev/null |
+++ b/build/android/adb_kill_chrome_public |
@@ -0,0 +1,24 @@ |
+#!/bin/bash |
+# |
+# Copyright 2015 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 instance of ChromePublic. |
+# |
+# Assumes you have sourced the build/android/envsetup.sh script. |
+ |
+SHELL_PID_LINES=$(adb shell ps | grep -w 'org.chromium.chrome') |
+VAL=$(echo "$SHELL_PID_LINES" | wc -l) |
+if [ $VAL -lt 1 ] ; then |
+ echo "Not running ChromePublic." |
+else |
+ SHELL_PID=$(echo $SHELL_PID_LINES | awk '{print $2}') |
+ if [ "$SHELL_PID" != "" ] ; then |
+ set -x |
+ adb shell kill $SHELL_PID |
+ set - |
+ else |
+ echo "ChromePublic does not appear to be running." |
+ fi |
+fi |