github
/
phpservermon
mirror of https://github.com/phpservermon/phpservermon
1
0
Fork 0
Code Issues Releases Wiki Activity

Corrected indentation

pull/569/head
Tim 2018-03-01 00:54:29 +01:00 committed by Timz99
parent ad1ca57b44
commit 4348b7c91a
No known key found for this signature in database
GPG Key ID: 4D8268DC68E8339D
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/psm/Util/Server/UpdateManager.php
View File

@ -71,11 +71,10 @@ class UpdateManager extends ContainerAware {
$status_new = $updater->update($server['server_id']); $status_new = $updater->update($server['server_id']);
// notify the nerds if applicable // notify the nerds if applicable
$notifier->notify($server['server_id'], $status_old, $status_new); $notifier->notify($server['server_id'], $status_old, $status_new);
// clean-up time!! archive all records
// clean-up time!! archive all records $archive = new ArchiveManager($this->container->get('db'));
$archive = new ArchiveManager($this->container->get('db')); $archive->archive($server['server_id']);
$archive->archive($server['server_id']); $archive->cleanup($server['server_id']);
$archive->cleanup($server['server_id']);
} }
} }
} }