do_exit nameclash with PHP4
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=640
Reported by David Hedbor, Idonex / Real Networks firstname.lastname@example.org
Both PHP4 and Pike has a function called do_exit. They do different things (TM). The result of this name clash is that Pike exits if die/exit is used in a PHP4 script.
I have attached two patches (for 7.0 and 7.1) which replaces do_exit with pike_do_exit. A similar report has been sent to the PHP4 people.