tree 1f3ed44da821d8b7937161d5de782a117e7f8918
parent ada15824c31fadcf11f08ed8d411a98fac1bb17c
author Przemyslaw Pietrzkiewicz <ppi@chromium.org> 1441114520 +0200
committer Przemyslaw Pietrzkiewicz <ppi@chromium.org> 1441114520 +0200

Don't print the dev server config if not asked.

This patch makes the mojo tools print out the dev server config message
only if `--verbose` is passed.

R=qsr@google.com, qsr@chromium.org

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

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