| 889 | //----------------------------------------------------------------------------- |
| 890 | |
| 891 | static void pushPingRequest( const NetAddress* addr ) |
| 892 | { |
| 893 | if( addressFinished( addr ) ) |
| 894 | return; |
| 895 | |
| 896 | Ping p; |
| 897 | p.address = *addr; |
| 898 | p.session = gPingSession; |
| 899 | p.key = 0; |
| 900 | p.time = 0; |
| 901 | p.tryCount = gPingRetryCount; |
| 902 | p.broadcast = false; |
| 903 | gPingList.push_back( p ); |
| 904 | gServerPingCount++; |
| 905 | } |
| 906 | |
| 907 | //----------------------------------------------------------------------------- |
| 908 |
no test coverage detected