Hi,
There's now a request for this:
https://bugs.php.net/bug.php?id=55109
Colours are now toggled by the ini setting cli_server.color.
I'm still looking into means of excluding the more deceptively
incapable terminals but I will support having colours on by default
anyway.
Regards,
Arpad
--
Hi!
On 7/1/11 3:08 AM, Hannes Magnusson wrote:
I use it extensively. Its nearly the only way to get the headers from
file_get_contents() for example.
We could have a function, like stream_get_last_headers() or something
like that (like all DBs do, for example, which have exactly the same
iss
On Fri, Jul 1, 2011 at 10:18, David Zülke wrote:
> On 01.07.2011, at 01:29, Stas Malyshev wrote:
>
>> Hi!
>>
>> On 6/30/11 2:34 PM, Michael Maclean wrote:
>>> The same data also ends up in the bizarre $http_response_headers var
>>> that gets spontaneously created in local scope - I've wondered abo
On 01.07.2011, at 01:29, Stas Malyshev wrote:
> Hi!
>
> On 6/30/11 2:34 PM, Michael Maclean wrote:
>> The same data also ends up in the bizarre $http_response_headers var
>> that gets spontaneously created in local scope - I've wondered about how
>> good that is to do.
>
> This thing is indeed b
