|
@@ -635,7 +635,7 @@ |
|
|
block discarded – undo |
|
635
|
635
|
$lockFileContents = file_get_contents($lockFileName); |
|
636
|
636
|
$lockFileContents = json_decode($lockFileContents ?: '', true); |
|
637
|
637
|
// Only skip if the lock file is newer than the last 1h (a publishing process should not be running longer than 60mins) |
|
638
|
|
- if (isset($lockFileContents['tstamp']) && $lockFileContents['tstamp'] > ($GLOBALS['EXEC_TIME']-3600)) { |
|
|
638
|
+ if (isset($lockFileContents['tstamp']) && $lockFileContents['tstamp'] > ($GLOBALS['EXEC_TIME'] - 3600)) { |
|
639
|
639
|
$dataHandler->newlog('A publishing lock file was present. Either another publish process is already running or a previous publish process failed. Ask your administrator to handle the situation.', SystemLogErrorClassification::SYSTEM_ERROR); |
|
640
|
640
|
return; |
|
641
|
641
|
} |
Please login to merge, or discard this patch.