| 746 | //----------------------------------------------------------------------------- |
| 747 | |
| 748 | static void pushPingRequest( const NetAddress* addr ) |
| 749 | { |
| 750 | if( addressFinished( addr ) ) |
| 751 | return; |
| 752 | |
| 753 | Ping p; |
| 754 | p.address = *addr; |
| 755 | p.session = gPingSession; |
| 756 | p.key = 0; |
| 757 | p.time = 0; |
| 758 | p.tryCount = gPingRetryCount; |
| 759 | p.broadcast = false; |
| 760 | gPingList.push_back( p ); |
| 761 | gServerPingCount++; |
| 762 | } |
| 763 | |
| 764 | //----------------------------------------------------------------------------- |
| 765 |
no test coverage detected