ini_set函数怎么会出错，等高手

Question

代码如下define('WT_DIR',   '/var/www/webtoolkit);
 $inc_path = ini_get('include_path');
 $inc_path .= ';'.WT_DIR.'/lib';
 $inc_path .= ';'.WT_DIR.'/src';
  ini_set('include_path', $inc_path);
然后echo  $inc_path 为.:/usr/share/php:/usr/share/pear;/var/www/webtoolkit/lib;/var/www/webtoolkit/src
我在运行入口文件时include 'StartApp.php';  报错 Warning: include(StartApp.php): failed to open stream: No such file or directory in。。
该文件在var/www/webtoolkit/src下面，这个都INCLUDE成功了，为什么还报错呢。我在UBUNTU下的  不知道说明白没，可以加HI 我或加我Q345834107  在些先谢了呀

Answer 1

$inc_path .= ':'.WT_DIR.'/lib';
$inc_path .= ':'.WT_DIR.'/src';unix 下用 : 分隔
window 下才用 ; 分隔

Answer 2

通用代码应使用常量 PATH_SEPARATOR$inc_path = ini_get('include_path');
$inc_path .= PATH_SEPARATOR . WT_DIR.'/lib';
$inc_path .= PATH_SEPARATOR . WT_DIR.'/src';
ini_set('include_path', $inc_path);