Re: No core file being created
| From: | Mark Skilbeck | Date: | Tue, 10 Nov 2009 14:18:33 +0000 |
| Subject: | Re: No core file being created | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-45991@lists.php.net to get a copy of this message | ||
Scott MacVicar wrote:
On 10 Nov 2009, at 13:55, Mark Skilbeck wrote:Antony Dovgal wrote:I'm trying to debug a segfault that's occuring in an extension I'm developing (phpgksu - PHP wrapper for libgksu2). On the PHP site it says that if I have PHP configured with --enable-debug (which I do) then whenever PHP crashes a core file should be created in the same directory the file is executing. However, I do not see one. I've even run the command as sudo ($ sudo php /file.php) to make sure PHP has the permissions to write the file. Any ideas?ulimit -c unlimited So you can enable core files, the debug mode in PHP just stops optimizations and stripping of symbols producing a more useful core file. Scott
On 10.11.2009 16:55, Mark Skilbeck wrote:I'm trying to debug a segfault that's occuring in an extension I'm developing (phpgksu - PHP wrapper for libgksu2). On the PHP site it says
that if I have PHP configured with --enable-debug (which I do) then whenever PHP crashes a core file should be created in the same directory
Thanks guys :)the file is executing. However, I do not see one. I've even run the command as sudo ($ sudo php /file.php) to make sure PHP has the permissions to write the file.# sudo gdb php gdb> r /file.php This way you don't need any core files at all.