tbrehm
2008-05-28 43ce66dc8b573dd117b5e9e47b1ade46ace52982
install/lib/install.lib.php
@@ -59,11 +59,18 @@
//** Get distribution identifier
function get_distname() {
   
   //** Debian
   $distname = '';
   //** Debian or Ubuntu
   if(file_exists('/etc/debian_version')) {
   
      if(trim(file_get_contents('/etc/debian_version')) == '4.0') {
         $distname = 'debian40';
         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\n");
      }
   }
   
@@ -76,9 +83,7 @@
}
function sread() {
    $f = fopen('/dev/stdin', 'r');
    $input = fgets($f, 255);
    fclose($f);
    $input = fgets(STDIN);
    return rtrim($input);
}