Don't complain about empty log file... I thought this had already been fixed
authorBrion Vibber <brion@users.mediawiki.org>
Mon, 8 Dec 2003 09:19:11 +0000 (09:19 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Mon, 8 Dec 2003 09:19:11 +0000 (09:19 +0000)
update.php

index fc95ba1..0e6b7de 100644 (file)
@@ -79,10 +79,12 @@ function do_update_files() {
        copyfile( "./languages", "Language.php", $IP );
        copyfile( "./languages", "Language" . ucfirst( $wgLanguageCode ) . ".php", $IP );
        
-       $fp = fopen( $wgDebugLogFile, "w" );
-       if ( false === $fp ) {
-               print "Could not create log file \"{$wgDebugLogFile}\".\n";
-               exit();
+       if( !empty( $wgDebugLogFile ) ) {
+               $fp = fopen( $wgDebugLogFile, "w" );
+               if ( false === $fp ) {
+                       print "Could not create log file \"{$wgDebugLogFile}\".\n";
+                       exit();
+               }
        }
        $d = date( "Y-m-d H:i:s" );
        fwrite( $fp, "Wiki debug log file created {$d}\n\n" );