Minor fixes in the installer for Ubuntu 7.10

tbrehm

2007-10-24 03ade50f9f1826fbe3c21de9cc37fafb7aec8478

 install/lib/install.lib.php

@@ -56,9 +56,29 @@

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

//** Get distribution identifier
function get_distname() {
   global $conf; // TODO wtf ?
   $distname = $conf['distname'];
	
   $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");
      }
   }
	
   //** Redhat
   elseif(file_exists("/etc/redhat_release")) {
	
   }
	
   return $distname;
}

@@ -78,8 +98,7 @@
}

function ilog($msg){
   $logfile = '/var/log/ispconfig_install.log';
     exec("echo `date` \"- [ISPConfig] - \"".$msg." >> ".$logfile);
     exec("echo `date` \"- [ISPConfig] - \"".$msg." >> ".ISPC_LOG_FILE);
}

function error($msg){