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

mojo/devtools/common/devtoolslib/http_server.py

 # 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.
 
 import atexit
 import datetime
 import email.utils
 import errno
 import gzip
 import hashlib
@@ skipping 204 matching lines @@
 
     http_thread = threading.Thread(target=httpd.serve_forever)
     http_thread.daemon = True
     http_thread.start()
     return httpd.server_address
   except socket.error as v:
     error_code = v[0]
     print 'Failed to start http server for %s on port %d: %s.' % (
         str(mappings), host_port, os.strerror(error_code))
     if error_code == errno.EADDRINUSE:
-      print ('  Run `fuser %d/tcp` to find out which process is using the port.'
+      print ('  Run `fuser %d/tcp` to find out which process is using the port;'

[ppi, 2015/08/12 09:24:16]

it's just fuser -k %d/tcp, no need for xargs and kill.

[etiennej, 2015/08/12 09:25:46]

Done.

              % host_port)
+      print ('  or use `fuser %d/tcp|xargs kill` terminate it.' % host_port)
     print '---'
     raise