remove label headlines from cache when articles are being assigned to it

diff --git a/viewfeed.js b/viewfeed.js
index a1163893635d468feca04b5e451d87f31be147f2..5251eeb5d2e6d381adbaac3f6a94c8691006f9d4 100644 (file)
--- a/viewfeed.js
+++ b/viewfeed.js
@@ -869,6 +869,8 @@ function selectionRemoveLabel(id) {
 
 //                     notify_progress("Loading, please wait...");
 
+                       cache_invalidate("F:" + (-11 - id));
+
                        new Ajax.Request(query, {
                                onComplete: function(transport) { 
                                        viewCurrentFeed();
@@ -896,6 +898,8 @@ function selectionAssignLabel(id) {
 
                if (ok) {
 
+                       cache_invalidate("F:" + (-11 - id));
+
                        var query = "backend.php?op=rpc&subop=assignToLabel&ids=" +
                                param_escape(ids.toString()) + "&lid=" + param_escape(id);