fixed some bugs in the installer

oliver

2007-08-27 cc3fb3d95d21724942a4fcc6f54d9a157940d119

 install/lib/install.lib.php

@@ -56,9 +56,22 @@

$FILE = realpath('../install.php');

//** Get distribution identifier
function get_distname() {
   global $conf; // TODO wtf ?
   $distname = $conf['distname'];
	
   //** Debian
   if(file_exists('/etc/debian_version')) {
	
      if(trim(file_get_contents('/etc/debian_version')) == '4.0') {
         $distname = 'debian40';
      }
   }
	
   //** Redhat
   elseif(file_exists("/etc/redhat_release")) {
	
   }
	
   return $distname;
}