diff options
| author | Lester Caine <lester@lsces.co.uk> | 2006-10-13 12:46:44 +0000 |
|---|---|---|
| committer | Lester Caine <lester@lsces.co.uk> | 2006-10-13 12:46:44 +0000 |
| commit | 5f0523a423193fe444443eabfa88ab78a02ff088 (patch) | |
| tree | 80d3eb4cfcb54c2004846915f0360b37dfb5fe12 /cmd_line_reindex.php | |
| parent | 08b6053dade0a7c57e4d4ad00db62f9cb120a6a5 (diff) | |
| download | search-5f0523a423193fe444443eabfa88ab78a02ff088.tar.gz search-5f0523a423193fe444443eabfa88ab78a02ff088.tar.bz2 search-5f0523a423193fe444443eabfa88ab78a02ff088.zip | |
phpDoc corrections
Diffstat (limited to 'cmd_line_reindex.php')
| -rw-r--r-- | cmd_line_reindex.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cmd_line_reindex.php b/cmd_line_reindex.php index 800ddf2..e69d221 100644 --- a/cmd_line_reindex.php +++ b/cmd_line_reindex.php @@ -1,5 +1,7 @@ <?php /** + * @package search + * * Command Line Site Reindex * Created with stub from jht001 and help from KainX (Thanks to you both) * @@ -33,7 +35,9 @@ * */ -// Define Server Variables so script won't puke on command line +/** + * Define Server Variables so script won't puke on command line + */ $_SERVER['SERVER_NAME'] = 'batch'; $_SERVER['HTTP_HOST'] = 'batch'; $_SERVER['HTTP_USER_AGENT'] = 'batch'; |