- Fixed FS#2678 - Error message whith mailman while updating ispconfg.

ftimme

2013-02-19 71acf0c101aac65de71c0d2b45b38e55ecbffcf2

 server/lib/classes/monitor_tools.inc.php

@@ -135,7 +135,7 @@
         } elseif (strstr(trim(file_get_contents('/etc/debian_version')), '7.0') || trim(file_get_contents('/etc/debian_version')) == 'wheezy/sid') {
            $distname = 'Debian';
            $distver = 'Wheezy/Sid';
            $distid = 'debian70';
            $distid = 'debian60';
            $distbaseid = 'debian';
         } else {
            $distname = 'Debian';
@@ -485,7 +485,7 @@
      $state = 'ok';

      /** Fetch the data of ALL devices into a array (needed for monitoring!) */
      $dfData = shell_exec('df -hT');
      $dfData = shell_exec('df -hT 2>/dev/null');

      // split into array
      $df = explode("\n", $dfData);