5319  */

  5319  */

  5320 

  5320 

  5321 function which($executable)

  5321 function which($executable)

  5322 {

  5322 {

  5323 	$path = get_system_path();

  5323 	$path = get_system_path();

  5325 		return false;

  5325 		return false;

  5326 	

  5326 	

  5327 	$win32 = ( PHP_OS == 'WINNT' || PHP_OS == 'WIN32' );

  5327 	$win32 = ( PHP_OS == 'WINNT' || PHP_OS == 'WIN32' );

  5328 	$extensions = $win32 ? array('.exe', '.com', '.bat') : array('');

  5328 	$extensions = $win32 ? array('.exe', '.com', '.bat') : array('');

  5329 	$separator = $win32 ? ';' : ':';

  5329 	$separator = $win32 ? ';' : ':';