Added missing continue to avoid fatal error.
authorAaron Schulz <aschulz@wikimedia.org>
Sat, 11 May 2013 07:48:48 +0000 (00:48 -0700)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 12 May 2013 17:58:37 +0000 (17:58 +0000)
Change-Id: Ibb87c9e59e424fa84d662bb42349085d186dcc99

maintenance/copyFileBackend.php

index 736910a..685c868 100644 (file)
@@ -190,7 +190,8 @@ class CopyFileBackend extends Maintenance {
                                : $src->getLocalReference( array( 'src' => $srcPath, 'latest' => 1 ) );
                        if ( !$fsFile ) {
                                if ( $src->fileExists( array( 'src' => $srcPath ) ) === false ) {
-                                       $this->error( "File '$srcPath' was listed be must have been deleted." );
+                                       $this->error( "File '$srcPath' was listed but must have been deleted." );
+                                       continue;
                                } else {
                                        $this->error( "Could not get local copy of $srcPath." );
                                }