| commit | b74f0d2f25c760651420d7fd06a953e42f9ca6d9 | [log] [tgz] |
|---|---|---|
| author | Guang Zhu <guangzhu@google.com> | Fri Jan 18 14:44:09 2013 -0800 |
| committer | Guang Zhu <guangzhu@google.com> | Fri Jan 18 15:02:40 2013 -0800 |
| tree | 081b9f0a804c81bf2f4c1536313d6df897067ff7 | |
| parent | a2060633af9b00d51aed47b28050976e12ca7892 [diff] |
HACK: temporarily ping a known IP address instead of domain name since DNS resolution is currently broken in ping util Bug: 8029617 Change-Id: Ifa1d7537b73c5e6b68e7b48dddaddf8dd4ed77a8