Function isIncludeLine

tools/common_functions.php:85–92

return true if the given line is a include line, returns false otherwise the fielname and path of the include are written into $include if it is given */

($line, &$include)

	the fielname and path of the include are written into $include if it is given 
*/
function isIncludeLine($line, &$include) {
  if(preg_match('/^#[ \t]*include[ \t]*<(.*)>/', ltrim($line), $parts))
  {
    $include = $parts[1];
    return true;
  }
  return false;
}

function isAlpha($char) {
  $c = ord($char);