disconnect peer if no address is available after deletion
[oweals/gnunet.git] / contrib / repeat.sh
2009-07-16 Christian Grothoffrepeat