Seb35 has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/335636 )
Change subject: Fix timestamp format in maintenance/manageJobs.php
......................................................................
Fix timestamp format in maintenance/manageJobs.php
Follow-up of Ib56cf57e56f03ce6f1c4b52e3e36f228413c1056,
Job::getQueuedTimestamp() returns a UNIX timestamp, so use
the same here for comparison.
Change-Id: I595f962b71337fc9021963c55ee7dd2443149a46
---
M maintenance/manageJobs.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/36/335636/1
diff --git a/maintenance/manageJobs.php b/maintenance/manageJobs.php
index 9585ed8..bbedf0c 100644
--- a/maintenance/manageJobs.php
+++ b/maintenance/manageJobs.php
@@ -75,7 +75,7 @@
$skipped = 0;
foreach ( $queue->getAllAbandonedJobs() as $job ) {
/** @var Job $job */
- if ( $job->getQueuedTimestamp() < $lastRepushTime ) {
+ if ( $job->getQueuedTimestamp() < wfTimestamp( TS_UNIX,
$lastRepushTime ) ) {
++$skipped;
continue; // already re-pushed in prior round
}
--
To view, visit https://gerrit.wikimedia.org/r/335636
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I595f962b71337fc9021963c55ee7dd2443149a46
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Seb35 <se...@seb35.fr>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
