moglia
2010-05-13 0110094b2d206e88dceb0cfe2bc4c85f2e826dda
install/lib/install.lib.php
@@ -56,6 +56,10 @@
$FILE = realpath('../install.php');
//** Get distribution identifier
//** IMPORTANT!
//   This is the same code as in /server/mods-available/monitor_core_module.inc.php
//   So if you change it here, you also have to change it in
//   /server/mods-available/monitor_core_module.inc.php!
function get_distname() {
   
   $distname = '';
@@ -72,12 +76,18 @@
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian 4.0 or compatible\n");
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'5.0') || trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'5.0')) {
         $distname = 'Debian';
         $distver = 'Lenny/Sid';
         $distver = 'Lenny';
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian Lenny/Sid or compatible\n");
         swriteln("Operating System: Debian Lenny or compatible\n");
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'6.0') || trim(file_get_contents('/etc/debian_version')) == 'squeeze/sid') {
         $distname = 'Debian';
         $distver = 'Squeeze/Sid';
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian Squeeze/Sid or compatible\n");
      }  else {
         $distname = 'Debian';
         $distver = 'Unknown';
@@ -149,7 +159,7 @@
      } elseif(stristr($content,'CentOS release 5.3 (Final)')) {
         $distname = 'CentOS';
         $distver = '5.3';
         $distid = 'centos52';
         $distid = 'centos53';
         $distbaseid = 'fedora';
         swriteln("Operating System: CentOS 5.3 or compatible\n");
      } else {
@@ -159,7 +169,19 @@
         $distbaseid = 'fedora';
         swriteln("Operating System: Redhat or compatible, unknown version.\n");
      }
   }
   //** Gentoo
    elseif(file_exists("/etc/gentoo-release")) {
       $content = file_get_contents('/etc/gentoo-release');
        preg_match_all('/([0-9]{1,2})/', $content, $version);
       $distname = 'Gentoo';
       $distver = $version[0][0].$version[0][1];
       $distid = 'gentoo';
       $distbaseid = 'gentoo';
       swriteln("Operating System: Gentoo $distver or compatible\n");
      
   } else {
      die('unrecognized linux distribution');
@@ -241,10 +263,14 @@
function rf($file){
   clearstatcache();
   if(!$fp = fopen ($file, 'rb')){
      ilog('WARNING: could not open file '.$file);
   if(is_file($file)) {
      if(!$fp = fopen ($file, 'rb')){
         ilog('WARNING: could not open file '.$file);
      }
      return filesize($file) > 0 ? fread($fp, filesize($file)) : '';
   } else {
      return '';
   }
   return filesize($file) > 0 ? fread($fp, filesize($file)) : '';
}
function wf($file, $content){
@@ -606,7 +632,7 @@
}
function is_installed($appname) {
   exec('which '.escapeshellcmd($appname).' > /dev/null 2> /dev/null',$out);
   exec('which '.escapeshellcmd($appname).' 2> /dev/null',$out);
   if(isset($out[0]) && stristr($out[0],$appname)) {
      return true;
   } else {