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