includes/functions.php
changeset 1133 6e51ca5e29eb
parent 1123 777f32ac6b7c
child 1159 a1cca4472a58
equal deleted inserted replaced
1132:05fe0039d952 1133:6e51ca5e29eb
  5192   foreach ( $paths as $dir )
  5192   foreach ( $paths as $dir )
  5193   {
  5193   {
  5194     foreach ( $extensions as $ext )
  5194     foreach ( $extensions as $ext )
  5195     {
  5195     {
  5196       $fullpath = "$dir/{$executable}{$ext}";
  5196       $fullpath = "$dir/{$executable}{$ext}";
  5197       if ( file_exists($fullpath) && is_executable($fullpath) )
  5197       if ( @file_exists($fullpath) && @is_executable($fullpath) )
  5198       {
  5198       {
  5199         return $fullpath;
  5199         return $fullpath;
  5200       }
  5200       }
  5201     }
  5201     }
  5202   }
  5202   }