mirror of
https://github.com/php/php-src.git
synced 2026-04-01 21:22:13 +02:00
Only drop the using_history() call with libedit as I don't know if it is required with readline. This also allow to run a php script in background without it being aborted on first output.
This library can be built with libedit - non-GPL drop-in readline replacement. Libedit can be obtained from http://sourceforge.net/projects/libedit/ It is taken from NetBSD (http://www.netbsd.org/) CVS repository and modified to work as stand-alone library.