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';