When things die in the peer_pool, don't try to restart them.
tree88b56f489a1d0756dbd500ea3ceaffe5b030038f
-rw-r--r-- 27 .gitignore
-rw-r--r-- 56 AUTHORS
-rw-r--r-- 1329 COPYING
-rw-r--r-- 2266 ChangeLog
-rw-r--r-- 1567 HACKING
-rw-r--r-- 245 INSTALL
-rw-r--r-- 1207 Makefile
-rw-r--r-- 187 Makefile.config
-rw-r--r-- 44 NEWS
-rw-r--r-- 1964 README
-rw-r--r-- 5820 TODO
drwxr-xr-x - bin
drwxr-xr-x - doc
drwxr-xr-x - lib
drwxr-xr-x - releases