fantu
2008-12-21 cdda6b98d785f103d9be6643a99a882c0d65b64c
install/lib/install.lib.php
@@ -554,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;
   }
}
?>