Drop default port number in `http_server.py` and `shell.py`.

It turns out nothing was using these defaults outside of
`http_server_unittest.py`.

R=qsr@chromium.org

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

Cr-Mirrored-From: https://github.com/domokit/mojo
Cr-Mirrored-Commit: 2e6ef79dc1d9bf56e15eaff0994b0344820cd911
5 files changed
tree: ff04fdb965af7a9fd1633ad600ef9fef6238f2a8
  1. android_gdb/
  2. android_stack_parser/
  3. devtoolslib/
  4. docs/
  5. .gitignore
  6. mojo_benchmark
  7. mojo_debug
  8. mojo_run
  9. mojo_test
  10. README.md
  11. remote_adb_setup
README.md

Devtools

Unopinionated tools for running, debugging, testing and benchmarking Mojo apps.

Install

git clone https://github.com/domokit/devtools.git

Contents

Devtools offers the following tools:

Additionally, remote_adb_setup script helps to configure adb on a remote machine to communicate with a device attached to a local machine, forwarding the ports used by mojo_run.

Development

The library is canonically developed in the mojo repository, https://github.com/domokit/devtools is a mirror allowing to consume it separately.