tree 0d8d03fa88ee080d874efa30b220875b5bd5f7e1
parent c8a1568b794db7b9b2684059504851f3f9636791
author Dave Borowitz <dborowitz@google.com> 1375215522 -0700
committer Dave Borowitz <dborowitz@google.com> 1375215522 -0700

Fall back to 127.0.0.1 for dev server title

If local hostname resolution doesn't work, don't bother with fancy
fallbacks, just use 127.0.0.1. This is just for the page title so it
doesn't actually matter.

Change-Id: I85ddc1d88ebbd3d0aa94a0228642096114341f0d