Merge remote-tracking branch 'ispc3master/master'

Dominik

2014-01-23 6250b7ea002fd99e40d0170d31e7e19e69f97ccd

 install/lib/install.lib.php

@@ -666,6 +666,23 @@
   }
}

function hasLine($filename, $search_pattern, $strict = 0) {
   if($lines = @file($filename)) {
      foreach($lines as $line) {
         if($strict == 0) {
            if(stristr($line, $search_pattern)) {
               return true;
            }
         } else {
            if(trim($line) == $search_pattern) {
               return true;
            }
         }
      }
   }
   return false;
}

function is_installed($appname) {
   exec('which '.escapeshellcmd($appname).' 2> /dev/null', $out, $returncode);
   if(isset($out[0]) && stristr($out[0], $appname) && $returncode == 0) {
@@ -811,6 +828,8 @@
      exec('date +%Z', $tzinfo);
      $timezone = $tzinfo[0];
   }
	
   if(substr($timezone, 0, 1) === '/') $timezone = substr($timezone, 1);

   return $timezone;
}