jenkins-bot has submitted this change and it was merged.
Change subject: Mention the batch-download time in copyFileBackend.php.
......................................................................
Mention the batch-download time in copyFileBackend.php.
Change-Id: Idc46f9ed276d116b5b7eda0fbf354659243b646f
---
M maintenance/copyFileBackend.php
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
IAlex: Looks good to me, approved
jenkins-bot: Verified
diff --git a/maintenance/copyFileBackend.php b/maintenance/copyFileBackend.php
index 4e3c7fa..f2c4ac5 100644
--- a/maintenance/copyFileBackend.php
+++ b/maintenance/copyFileBackend.php
@@ -141,7 +141,11 @@
foreach ( $srcPathsRel as $srcPathRel ) {
$srcPaths[] = $src->getRootStoragePath() .
"/$backendRel/$srcPathRel";
}
+ $t_start = microtime( true );
$fsFiles = $src->getLocalReferenceMulti( array( 'srcs'
=> $srcPaths, 'latest' => 1 ) );
+ $ellapsed_ms = floor( ( microtime( true ) - $t_start )
* 1000 );
+ $this->output( "\nDownloaded these file(s)
[{$ellapsed_ms}ms]:\n" .
+ implode( "\n", $srcPaths ) . "\n\n" );
}
// Determine what files need to be copied over...
--
To view, visit https://gerrit.wikimedia.org/r/50758
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idc46f9ed276d116b5b7eda0fbf354659243b646f
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <[email protected]>
Gerrit-Reviewer: IAlex <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
