[php-maint] Bug#752913: Bug#752913: php5-cli: php crashes with general protection

[Tim Schumacher]

Hi Ondrej,

At Fri, 27 Jun 2014 20:44:20 +0200,
Ondřej Surý wrote:
> 
> Hi Tim,
> 
> thanks for the comprehensive bug report, the one thing missing is
> a backtrace (install php5-dbg package) and use this cookbook:

There is actualy no backtrace, I tried running it with gdb and it
exited "cleanly".

The only hint of an error is the general protection in syslog.

I will report this upstream.

greetings

Tim