From 5e8777a6d68ba85b2d41223f65452931eaf18111 Mon Sep 17 00:00:00 2001 From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?= Date: Sat, 11 Mar 2006 21:25:03 +0000 Subject: [PATCH] * Fixed fatal error introduced by brion in version 1.20, wfDie() has not been defined at that point. --- maintenance/generateSitemap.php | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/maintenance/generateSitemap.php b/maintenance/generateSitemap.php index a78975b9b6..2cf8312a95 100644 --- a/maintenance/generateSitemap.php +++ b/maintenance/generateSitemap.php @@ -440,16 +440,17 @@ class GenerateSitemap { } } -if ( in_array( '--help', $argv ) ) - wfDie( +if ( in_array( '--help', $argv ) ) { + echo "Usage: php generateSitemap.php [host] [options]\n" . "\thost = hostname\n" . "\toptions:\n" . "\t\t--help\tshow this message\n" . "\t\t--fspath\tThe file system path to save to, e.g /tmp/sitemap/\n" . "\t\t--path\tThe http path to use, e.g. /wiki\n" . - "\t\t--compress=[yes|no]\tcompress the sitemap files, default yes\n" - ); + "\t\t--compress=[yes|no]\tcompress the sitemap files, default yes\n"; + die( -1 ); +} if ( isset( $argv[1] ) && strpos( $argv[1], '--' ) !== 0 ) $_SERVER['SERVER_NAME'] = $argv[1]; -- 2.20.1