Re: [PHP-DEV] [PATCH] readline extension bug fixes and enhancements

2012-03-21 Thread Osama Abu Elsorour
Hello On Mar 20, 2012, at 9:43 PM, Johannes Schlüter wrote: Have you read Nikita's and my comments on your mail from last week? I just did. There was a problem with my mailing list subscription (wasn't confirmed) so I thought it didn't go through. But the good thing is that I had ported

[PHP-DEV] [PATCH] readline extension bug fixes and enhancements

2012-03-20 Thread Osama Abu Elsorour
All, I was recently involved in a project that relied heavily on readline to provide console text input capabilities. However I soon noticed that the current readline extension has a serious bug and is lacking some important functionality. This patch applies only to PHP compiled with

Re: [PHP-DEV] [PATCH] readline extension bug fixes and enhancements

2012-03-20 Thread Christopher Jones
On 03/20/2012 12:06 PM, Osama Abu Elsorour wrote: All, I was recently involved in a project that relied heavily on readline to provide console text input capabilities. However I soon noticed that the current readline extension has a serious bug and is lacking some important functionality.

Re: [PHP-DEV] [PATCH] readline extension bug fixes and enhancements

2012-03-20 Thread Johannes Schlüter
Hi, On Tue, 2012-03-20 at 21:06 +0200, Osama Abu Elsorour wrote: All, I was recently involved in a project that relied heavily on readline to provide console text input capabilities. However I soon noticed that the current readline extension has a serious bug and is lacking some important