if two unverified servers exist at the same address, we list both as running

router jet 194.152.184.163 9001 9050 9030 published 2005-04-05 20:16:10

router node01 194.152.184.163 9001 9050 9030 published 2005-04-05 13:55:51

Presumably node01 was published first, and then the operator changed the nickname to jet and left the same identity key in place. Now the dirservers list both as up. Maybe this will get fixed in 24 hours when node01's descriptor becomes obsolete. But this is a bad precedent. :)

[Automatically added by flyspray2trac: Operating System: All]