diff options
| -rw-r--r-- | lib/exe/indexer.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/exe/indexer.php b/lib/exe/indexer.php index a81adfeae..810e1eb4f 100644 --- a/lib/exe/indexer.php +++ b/lib/exe/indexer.php @@ -47,6 +47,7 @@ require_once(DOKU_INC.'inc/init.php'); //close session session_write_close(); +require_once(DOKU_INC.'inc/indexer.php'); $ID = cleanID($_REQUEST['id']); if(!$ID) indexer_stop(); @@ -66,8 +67,6 @@ while(!@mkdir($lock,0777)){ } } -require_once(DOKU_INC.'inc/indexer.php'); - // do the work idx_addPage($ID); |