tree 6b9c82d3e44009aef77c7c4ad1f45b4808d82955
parent bd4dddc24d777af29063e421693f96e61e517a1b
author Marc Blank <mblank@google.com> 1254181389 -0700
committer Marc Blank <mblank@google.com> 1254193614 -0700

Fix sendPing to set proper ping timeouts

* We were setting the timeout and heartbeat to the same time,
  which could cause mistaken timeouts
* Set timeout ten seconds after the heartbeat for now, and set
  an alarm a few seconds after that

Change-Id: Ic2f7b44c9626ebbdd7a8821f53f7aaf6169f62c3