diff options
| -rw-r--r-- | examples/consumer/common.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/consumer/common.php b/examples/consumer/common.php index 5e820fb..cecf8d7 100644 --- a/examples/consumer/common.php +++ b/examples/consumer/common.php @@ -2,7 +2,7 @@ $path_extra = dirname(dirname(dirname(__FILE__))); $path = ini_get('include_path'); -$path = $path_extra . ':' . $path; +$path = $path_extra . PATH_SEPARATOR . $path; ini_set('include_path', $path); /** |