tree f52de5ca91199314f9941f9074feacbab8fd4515
parent ad10537e99a67434f3686fcc38736ede78c77a14
author Etienne Membrives <etiennej@chromium.org> 1439371859 +0200
committer Etienne Membrives <etiennej@chromium.org> 1439371859 +0200

Add command to kill stray mojo shell servers so we don't have to remember it

R=ppi@chromium.org, ppi

Review URL: https://codereview.chromium.org/1291733002 .

Cr-Mirrored-From: https://github.com/domokit/mojo
Cr-Mirrored-Commit: 9f724011b8a4ea7d3db07e50c2de64d5f3ecf7f2