event_listeners is a bit of cached data
This commit is contained in:
parent
a989743849
commit
29cebb44f9
1 changed files with 6 additions and 3 deletions
|
@ -1030,8 +1030,8 @@ function _load_extensions() {
|
||||||
|
|
||||||
ctx_log_start("Loading extensions");
|
ctx_log_start("Loading extensions");
|
||||||
|
|
||||||
if(COMPILE_ELS && file_exists("data/event_listeners.php")) {
|
if(COMPILE_ELS && file_exists("data/cache/event_listeners.php")) {
|
||||||
require_once("data/event_listeners.php");
|
require_once("data/cache/event_listeners.php");
|
||||||
}
|
}
|
||||||
else {
|
else {
|
||||||
foreach(get_declared_classes() as $class) {
|
foreach(get_declared_classes() as $class) {
|
||||||
|
@ -1075,7 +1075,10 @@ function _load_extensions() {
|
||||||
$p .= ");\n";
|
$p .= ");\n";
|
||||||
|
|
||||||
$p .= "?".">";
|
$p .= "?".">";
|
||||||
file_put_contents("data/event_listeners.php", $p);
|
if(!file_exists("data/cache")) {
|
||||||
|
mkdir("data/cache", 755, true);
|
||||||
|
}
|
||||||
|
file_put_contents("data/cache/event_listeners.php", $p);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Reference in a new issue