Allow to set a fixed port for the development server.
Running on the fixed port enables service cache to store responses
between shell runs.
Fixes domokit/devtools#37
R=tonyg@chromium.org
Review URL: https://codereview.chromium.org/1305293003 .
diff --git a/mojoconfig b/mojoconfig
index 8be95fb..1edace8 100644
--- a/mojoconfig
+++ b/mojoconfig
@@ -12,6 +12,11 @@
'dev_servers': [
{
'host': 'https://core.mojoapps.io/',
+ # At this port the server will appear to the shell. That means actually
+ # running on this port when running a Linux shell and being forwarded from
+ # this port when running on Android. Using a fixed port enables caching
+ # server responses between shell runs.
+ 'port': 31839,
# First matching prefix will apply. Within the directiories specified for
# a prefix, first location that contains the requested path will apply.
'mappings': [
