diff options
author | Jean-Philippe Lesot <jplesot@google.com> | 2015-04-15 17:55:33 +0200 |
---|---|---|
committer | Jean-Philippe Lesot <jplesot@google.com> | 2015-04-15 19:08:31 +0200 |
commit | 5b053437fe4f9d6d56befeb524b3772e48e6f3af (patch) | |
tree | a100da0bcfe327bdbcbdce91e38518657ad8b74d /jack/etc | |
parent | 6eb162987201c9c19472336bde20b0214d832d72 (diff) | |
download | toolchain_jack-5b053437fe4f9d6d56befeb524b3772e48e6f3af.tar.gz toolchain_jack-5b053437fe4f9d6d56befeb524b3772e48e6f3af.tar.bz2 toolchain_jack-5b053437fe4f9d6d56befeb524b3772e48e6f3af.zip |
Fix output when jack-admin has nothing to kill
Change-Id: I3d9c7d030af0ac7738d596fc77ca5bc8ebccbf9d
Diffstat (limited to 'jack/etc')
-rwxr-xr-x | jack/etc/jack-admin | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/jack/etc/jack-admin b/jack/etc/jack-admin index e05994fb..d428b535 100755 --- a/jack/etc/jack-admin +++ b/jack/etc/jack-admin @@ -82,8 +82,13 @@ case $1 in exit 0 ;; kill-server) echo "Killing background server" - kill $(ps aux | grep JackSimpleServer | grep -v grep | awk '{print $2}') - exit $? ;; + kill $(ps aux | grep JackSimpleServer | grep -v grep | awk '{print $2}') 2>/dev/null + if [ $? -ne 0 ]; then + echo "No server to kill" >&2 + exit 2 + else + exit 0 + fi ;; list-server) ps aux | grep JackSimpleServer | grep -v grep exit $? ;; |