On Sun, 2 Aug 2020, Philihp Busby wrote: > If you're familiar with PHP, you can read the source here > https://git.sumptuouscapital.com/?p=sks-keyservers-pool.git;a=blob;f=sks-keyservers.net/status-srv/sks.inc.php
Oh, I see. Class sks_servercollection has method add_server() but I'm afraid of no way to delete a server if once it was cached. List of known server can be shrinked by hand only. Gabor -- "Yes! Jesus H. Tapdancing Christ! I have seen the light." (Blues Brothers)
