Till Brehm
2015-11-14 4890d168493974a409b7eca74f9075c22f04e5a8
server/lib/classes/cron.d/100-monitor_system_update.inc.php
@@ -76,13 +76,13 @@
         /*
          * first update the "apt database"
          */
         shell_exec('apt-get update');
         shell_exec('while fuser /var/lib/apt/lists/lock >/dev/null 2>&1 ; do sleep 2; done; apt-get update');
         /*
          * Then test the upgrade.
          * if there is any output, then there is a needed update
          */
         $aptData = shell_exec('apt-get -s -qq dist-upgrade');
         $aptData = shell_exec('while fuser /var/lib/dpkg/lock >/dev/null 2>&1 || fuser /var/lib/apt/lists/lock >/dev/null 2>&1 ; do sleep 2; done; apt-get -s -qq dist-upgrade');
         if ($aptData == '') {
            /* There is nothing to update! */
            $state = 'ok';