Here is the script which temporarily alters the include_path, then should restore it:

<?php
$path = ini_get('include_path');
echo "before:\n$path\n";

ini_set('include_path', $path.':/foo');
$path = ini_get('include_path');
echo "now:\n$path\n";

ini_restore('include_path');
$path = ini_get('include_path');
echo "after:\n$path\n";

?>


The output:

before:
.:/pear:/usr/local/easydns/common:...(etc.)
now:
.:/pear:/usr/local/easydns/common:...(etc.)...:/foo
after:
.:/usr/local/share/php/pear 

So, it looks like ini_restore() is restoring to the "default" include path even though the "before" line above is what is in my php.ini file.

The docs say it should "restore a given configuration option to its original value."  Shouldn't that be the setting in the php.ini file?

- Colin