Added support for Ubuntu 7.10

tbrehm

2007-10-24 f629e20dfefd82a8da484e6d50d07975ffb34230

 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');
      }
      if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
         $distname = 'debian40';
         swriteln('Operating System: Debian Lenny/Sid or compatible');
      }
   }