tree d0fad903a46ab8d3f86af6ae381599e73f23c526
parent 10f260be90899e5253c15d62f9b094630aecd888
author Joe Gordon <joe.gordon0@gmail.com> 1406245355 +0000
committer Joe Gordon <joe.gordon0@gmail.com> 1406314113 +0000

Make javelin2's ping for longer

Since as far as I can tell ping doesn't have a good way to ping until it
gets a response or until x seconds pass, use a python loop to do it
instead.

Change-Id: If05c373f30f515af82fecf2347d7f7c1a5824287