disconnect peer if no address is available after deletion
[oweals/gnunet.git] / contrib / buildbot-update.sh
2011-03-24 Christian Grothoffthat belongs into SVN...