tree 7c51fe6edb5d901f34d1b37551942a7deee35512
parent b731f39f73588f138ffdcf840a03123a113e2c9c
author Robin Thellend <rthellend@google.com> 1468532735 -0700
committer Robin Thellend <rthellend@google.com> 1468532901 -0700

TBR: Show ping replies only to sender

The ping replies are sent to everyone, but they only make sense to
whoever sent the ping in the first place.

Add a token to outgoing pings. If the ping replies don't have that token,
ignore them.

Change-Id: Ic96c35fb40cd66f56bd62006191d6c99f1ddc8c0