fantu
2008-12-29 f7b32b76cce0cca2dcd5a31b41cd9e4b3bdd5d69
install/lib/install.lib.php
@@ -31,7 +31,6 @@
/*
   This function returns a string that describes the installed
   linux distribution. e.g. debian40 for Debian Linux 4.0
*/
@@ -71,7 +70,7 @@
         $distbaseid = 'debian';
         swriteln("Operating System: Debian 4.0 or compatible\n");
      }
      if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
      if(trim(file_get_contents('/etc/debian_version')) == '5.0' || trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
         $distname = 'Debian';
         $distver = 'Lenny/Sid';
         $distid = 'debian40';
@@ -555,6 +554,15 @@
   }
}
function is_installed($appname) {
   exec('which '.escapeshellcmd($appname),$out);
   if(isset($out[0]) && stristr($out[0],$appname)) {
      return true;
   } else {
      return false;
   }
}
?>
?>