tbrehm
2012-07-02 f35123e721db9f5cb877e8f5d59ff0b95be0efdd
server/lib/classes/monitor_tools.inc.php
@@ -50,6 +50,7 @@
         }else{
         $lts="";
         }
            $issue=file_get_contents('/etc/issue');
            $distname = 'Ubuntu';
            $distid = 'debian40';
@@ -116,7 +117,7 @@
               $relname = "UNKNOWN";
            }
            $distver = $ver.$lts." ".$relname;
            echo $distver;
            swriteln("Operating System: ".$distver."\n");
         } elseif(trim(file_get_contents('/etc/debian_version')) == '4.0') {
            $distname = 'Debian';
            $distver = '4.0';