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