tbrehm
2009-01-20 98cfe5dd9216e49f0b5bb39a867ffaf73d81d75d
install/lib/install.lib.php
@@ -70,7 +70,7 @@
         $distbaseid = 'debian';
         swriteln("Operating System: Debian 4.0 or compatible\n");
      }
      if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
      if(trim(file_get_contents('/etc/debian_version')) == '5.0' || trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
         $distname = 'Debian';
         $distver = 'Lenny/Sid';
         $distid = 'debian40';
@@ -565,4 +565,4 @@
?>
?>