clear event listener cache when exts change

2012-06-18 00:29:41 +01:00 · 2012-06-18 00:29:41 +01:00 · 8173a7cafd
commit 8173a7cafd
parent a9b3ffe0eb
1 changed files with 7 additions and 0 deletions
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@ -188,6 +188,13 @@ class ExtManager extends Extension {
 			'define("EXTRA_EXTS", "'.implode(",", $extras).'");'."\n".
 			'?'.">"
 		);
+
+		// when the list of active extensions changes, we can be
+		// pretty sure that the list of who reacts to what will
+		// change too
+		if(file_exists("data/cache/event_listeners.php")) {
+			unlink("data/cache/event_listeners.php");
+		}
 	}
 }
 ?>