| 235 | |
| 236 | private: |
| 237 | void ping(const UPID& from, const string& body) |
| 238 | { |
| 239 | if (!links.contains(from)) { |
| 240 | link(from); |
| 241 | links.insert(from); |
| 242 | } |
| 243 | |
| 244 | send(from, "pong", body.c_str(), body.size()); |
| 245 | } |
| 246 | |
| 247 | hashset<UPID> links; |
| 248 | }; |