12 Commits (079279251378eb9ac5e1b434b9697a762728e19f)

Author SHA1 Message Date
Neil Booth 01d8f79a75 Clean up pick_random_server() and filter_protocol() and their 10 years ago
Neil Booth 4d55cb9528 First of several incremental patches tightening up interface.py. 10 years ago
ThomasV c3419eb7bb update script 10 years ago
ThomasV e355c290f8 peer script 11 years ago
ThomasV 33db7a0c43 fix servers script 11 years ago
ecdsa 0ccca356e1 fix servers script 12 years ago
thomasv 82531131ee interface: do not connect inside the constructor 12 years ago
thomasv 4fbd2ea66e use named callbacks with the interface 12 years ago
ThomasV 2da0c0b77e big refactoring of the interface 12 years ago
ThomasV fff922b5d7 fix: random_choice -> random.choice 12 years ago
thomasv 11a8e04dd0 add timeout 12 years ago
ThomasV 2fc173a76b new script showing server status 12 years ago