Author: nextgens
Date: 2007-11-24 10:17:07 +0000 (Sat, 24 Nov 2007)
New Revision: 15947
Modified:
trunk/freenet/src/freenet/clients/http/bookmark/BookmarkManager.java
Log:
BookmarkManager: delete the bookmark file if the bookmark set is empty
(otherwise the user wasn't able to empty it on purpose)
Modified: trunk/freenet/src/freenet/clients/http/bookmark/BookmarkManager.java
===================================================================
--- trunk/freenet/src/freenet/clients/http/bookmark/BookmarkManager.java
2007-11-23 16:14:16 UTC (rev 15946)
+++ trunk/freenet/src/freenet/clients/http/bookmark/BookmarkManager.java
2007-11-24 10:17:07 UTC (rev 15947)
@@ -360,6 +360,7 @@
SimpleFieldSet toSave = MAIN_CATEGORY.toSimpleFieldSet();
if (toSave.isEmpty()) {
isSavingBookmarks = false;
+ bookmarksFile.delete();
return;
}
sfs = toSave;
