| Index: trunk/phase3/maintenance/updateSearchIndex.php |
| — | — | @@ -22,7 +22,7 @@ |
| 23 | 23 | if ( isset( $options['p'] ) ) { |
| 24 | 24 | $posFile = $options['p']; |
| 25 | 25 | } else { |
| 26 | | - $posFile = 'searchUpdate.pos'; |
| | 26 | + $posFile = 'searchUpdate.' . wfWikiId() . '.pos'; |
| 27 | 27 | } |
| 28 | 28 | |
| 29 | 29 | if ( isset( $options['e'] ) ) { |
| — | — | @@ -33,6 +33,11 @@ |
| 34 | 34 | |
| 35 | 35 | if ( isset( $options['s'] ) ) { |
| 36 | 36 | $start = $options['s']; |
| | 37 | +elseif( is_readable( 'searchUpdate.pos' ) ) { |
| | 38 | + # B/c to the old position file name which was hardcoded |
| | 39 | + # We can safely delete the file when we're done though. |
| | 40 | + $start = file_get_contents( 'searchUpdate.pos' ); |
| | 41 | + unlink( 'searchUpdate.pos' ); |
| 37 | 42 | } else { |
| 38 | 43 | $start = @file_get_contents( $posFile ); |
| 39 | 44 | if ( !$start ) { |