tree f24db3420937667f3720f6b92b2d0f5a82e8d3eb
parent 27411495f6784a79890d676622e1c0d2f2a53584
author Yuchen Zeng <zyc@google.com> 1494887886 -0700
committer Yuchen Zeng <zyc@google.com> 1505766856 -0700

Set last_ping_sent_time to inf_past after receiving data