Disallow server changes for existing records in mail_domain_edit.php

tbrehm

2008-12-12 ec09b18c9c44f85ceb6d9e7588a03a221cd1193f

 install/lib/install.lib.php

@@ -556,7 +556,7 @@

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