From 183851b06bd6c52f3cae5375f433da720d410447 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Wed, 11 Oct 2006 18:12:39 +0000
Subject: MediaWiki 1.7.1 wiederhergestellt

---
 maintenance/updateSearchIndex.php | 57 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 maintenance/updateSearchIndex.php

(limited to 'maintenance/updateSearchIndex.php')

diff --git a/maintenance/updateSearchIndex.php b/maintenance/updateSearchIndex.php
new file mode 100644
index 00000000..b03dc00d
--- /dev/null
+++ b/maintenance/updateSearchIndex.php
@@ -0,0 +1,57 @@
+<?php
+/**
+ * Script for periodic off-peak updating of the search index
+ *
+ * Usage: php updateSearchIndex.php [-s START] [-e END] [-p POSFILE] [-l LOCKTIME] [-q]
+ * Where START is the starting timestamp
+ * END is the ending timestamp
+ * POSFILE is a file to load timestamps from and save them to, searchUpdate.pos by default
+ * LOCKTIME is how long the searchindex and cur tables will be locked for
+ * -q means quiet
+ *
+ * @package MediaWiki
+ * @subpackage Maintenance
+ */
+
+/** */
+$optionsWithArgs = array( 's', 'e', 'p' );
+
+require_once( 'commandLine.inc' );
+require_once( 'updateSearchIndex.inc' );
+
+if ( isset( $options['p'] ) ) {
+	$posFile = $options['p'];
+} else {
+	$posFile = 'searchUpdate.pos';
+}
+
+if ( isset( $options['e'] ) ) {
+	$end = $options['e'];
+} else {
+	$end = wfTimestampNow();
+}
+
+if ( isset( $options['s'] ) ) {
+	$start = $options['s'];
+} else {
+	$start = @file_get_contents( $posFile );
+	if ( !$start ) {
+		$start = wfTimestamp( TS_MW, time() - 86400 );
+	}
+}
+
+if ( isset( $options['l'] ) ) {
+	$lockTime = $options['l'];
+} else {
+	$lockTime = 20;
+}
+
+$quiet = (bool)(@$options['q']);
+
+updateSearchIndex( $start, $end, $lockTime, $quiet );
+
+$file = fopen( $posFile, 'w' );
+fwrite( $file, $end );
+fclose( $file );
+
+?>
-- 
cgit v1.2.3-54-g00ecf