- Detect installed services - Update server.ini during install - Changed de...

tbrehm

2008-12-07 0a1f027bd9b71d618376e1365c35d95d97b15782

 install/lib/install.lib.php

@@ -554,6 +554,15 @@
   }
}

function is_installed($appname) {
   exec('which '.escapeshellcmd($appname),$out);
   if(stristr($out[0],$appname)) {
      return true;
   } else {
      return false;
   }
}



?>