tbrehm
2008-05-28 43ce66dc8b573dd117b5e9e47b1ade46ace52982
install/lib/install.lib.php
@@ -66,11 +66,11 @@
   
      if(trim(file_get_contents('/etc/debian_version')) == '4.0') {
         $distname = 'debian40';
         swriteln('Operating System: Debian 4.0 or compatible');
         swriteln("Operating System: Debian 4.0 or compatible\n");
      }
      if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
         $distname = 'debian40';
         swriteln('Operating System: Debian Lenny/Sid or compatible');
         swriteln("Operating System: Debian Lenny/Sid or compatible\n");
      }
   }
   
@@ -83,9 +83,7 @@
}
function sread() {
    $f = fopen('/dev/stdin', 'r');
    $input = fgets($f, 255);
    fclose($f);
    $input = fgets(STDIN);
    return rtrim($input);
}