Author: tubbie
Date: 2005-12-10 19:52:25 +0000 (Sat, 10 Dec 2005)
New Revision: 7705
Modified:
trunk/freenet/src/freenet/node/PeerManager.java
Log:
Update the peers file after disconnecting someone
Modified: trunk/freenet/src/freenet/node/PeerManager.java
===================================================================
--- trunk/freenet/src/freenet/node/PeerManager.java 2005-12-10 14:13:49 UTC
(rev 7704)
+++ trunk/freenet/src/freenet/node/PeerManager.java 2005-12-10 19:52:25 UTC
(rev 7705)
@@ -212,7 +212,8 @@
* Disconnect from a specified node
*/
public void disconnect(PeerNode pn){
- removePeer(pn);
+ if(removePeer(pn))
+ writePeers();
}
/**
