tweaks
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 16 Jul 2017 12:16:17 +0000 (14:16 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 16 Jul 2017 12:16:17 +0000 (14:16 +0200)
commitaeb7cf0e94a73d9e40871bb747555910150a0018
tree3422865b4bca1c86030440c4aeccfeb28027d697
parent1e0e4007e306ca111f0d538c073fd51380abcd99
tweaks
bin/refresh-peer.py
support-scripts/cleanup-zombies.py