On Feb 13, 2008 11:06 PM, Markus Fischer <[EMAIL PROTECTED]> wrote:
> Pierre Joye wrote:
> > On Feb 13, 2008 4:47 PM, Lars Strojny <[EMAIL PROTECTED]> wrote:
> >> Hi everyone,
> >>
> >> the following patch[1] adds the functions append_include_path() and
> >> prepend_include_path(). These function are there to make include path
> >> adjustments easier than it is. Especially append_include_path() is what
> >> is done most of the time.
> >
> > I don't think we need two new functions for:
> >
> > set_include_path('/some/path' . DIRECTORY_SEPARATOR . get_include_path());
> > set_include_path(. get_include_path() . DIRECTORY_SEPARATOR .
> > '/some/path' );
>
> Gotcha, it needs to be PATH_SEPARATOR, no?
That would be a reason to have these functions (yes, path_separator is
required) ;-)
--
Pierre
http://blog.thepimp.net | http://www.libgd.org
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
