Hi Cyril,
I've had this issue many times and it was a very frustrating to debug, in fact I solved this by allowing more RAM when possible or dividing tasks in smaller pieces and running them as different processes.
I was not aware of this PHP bug until now. Thank you for letting me know.
I've just committed a hack/patch for this PHP bug
I'm using the same exact dev environment and can confirm that the patch isn't working (never was).
I have to say that I just don't care ;-) as long as it works on a server.
That means it doesn't work on a linux-machine too? Or your prod-environment is windows?
AFAIK (and I didnt looked at that bug too deeply) it is fixed in php 5.3. (look at their changelog)
1 to 7 of 7