view tests/binfile.bin @ 32768:483d47753726

setdiscovery: improves logged message The 'srvheads' list contains all server heads including the common ones. We adjust 'ui.log' message to provide more useful information about server heads locally unknown. The performance impact of turning the list to set is negligible (about 1e-4s) compared to the rest of the discovery cost, so I'm taking the easy path.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Sat, 10 Jun 2017 18:47:09 +0100
parents 751df21dad72
children
line wrap: on
line source

(binary:application/octet-stream)