tbrehm
2012-07-02 f35123e721db9f5cb877e8f5d59ff0b95be0efdd
install/lib/install.lib.php
@@ -74,6 +74,7 @@
                }else{
                $lts="";
                }
                        $issue=file_get_contents('/etc/issue');
                        $distname = 'Ubuntu';
                        $distid = 'debian40';
@@ -140,7 +141,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';