Re: php interactive shell: save history on SIGINT exit
| From: | Johannes Schlüter | Date: | Thu, 24 Jul 2014 16:13:19 +0000 |
| Subject: | Re: php interactive shell: save history on SIGINT exit | ||
| References: | 1 2 3 4 5 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-76021@lists.php.net to get a copy of this message | ||
On Wed, 2014-07-23 at 17:08 +0400, Dmitry Saprykin wrote:
> Yes, you are right. append_history is not suitable for libedit. I left
> write_history call for libedit.
Committed and pushed in a slightly modified form (variable declarations
should be on top of a block)
http://git.php.net/?p=php-src.git;a=commitdiff;h=d491b2f916d061666d9ff1cb5bdc484961b82db0
johannes