purge cache after publishing new report
authorJean-Guilhem Rouel <jean-gui@w3.org>
Tue, 10 Feb 2015 14:37:28 +0100
changeset 333 a4adf7e052fd
parent 332 816f70cc3c6b
child 334 cd12fce4767d
purge cache after publishing new report
src/Org/W3/Cg/Pub/SpecBundle/Controller/DefaultController.php
--- a/src/Org/W3/Cg/Pub/SpecBundle/Controller/DefaultController.php	Fri Nov 07 16:28:27 2014 +0100
+++ b/src/Org/W3/Cg/Pub/SpecBundle/Controller/DefaultController.php	Tue Feb 10 14:37:28 2015 +0100
@@ -1057,6 +1057,8 @@
                         $ug_controller = new UserGroupController();
                         $ug_controller->postFinalSpecAnnouncement($gr_obj, $res['NewSpec'], $res['NewSpecRev'], $this->get('mailer'));
 
+                        purgeCache(array('https://www.w3.org/community/reports'));
+
                         //return when finished add to db
                         return $this->redirect($this->generateUrl('group_index', Array('group' => $group,)));
                     }
@@ -1154,6 +1156,8 @@
                             ->postFinalSpecAnnouncement($gr_obj, $spec, $new_spec_rev, $this->get('mailer'));
                 }
 
+                purgeCache(array('https://www.w3.org/community/reports'));
+
                 return $this
                                 ->redirect(
                                         $this