Hi Charter. I appreciate your help.
It did not appear to run at all, and spider.log was empty. I tried uploading a simple php hello world script, and tried to run it using
/usr/local/bin/php -f hello.php
and it also gives me a segmentation fault (core dumped).
Do you think that this suggests it's not a phpdig problem, but a problem from my side?
BTW, I ran the command "which php" in putty and it turns out that the path to php is /usr/local/bin/php and not /usr/bin/php. I thought that might help but it did not
Charles