универсальный разделитель в ini_set()

e2e4

Новичок
универсальный разделитель в ini_set()

Всем здравствуйте.

У меня библиотеки PEAR и Smarty лежат не там где положено, а рядом с хомяком. Проблема в том, что отладка скриптов производится на Win, а на серваке стоит, естессно, Unix. Естественно, проблема с разделителем.

Хочется сделать так, чтобы не надо было менять ':' на ';'

Насколько я помню, существовал такой путь, что-то вроде:

PHP:
ini_set($_SERVER['PATH'], $_SERVER['PATH'] . PATH_DELIMITER . dirname($_SERVER['DOCUMENT_ROOT']) . "/libs");
Подскажите пожалуйста, как правильно это сделать?
 
Сверху