-@@ -1211,16 +1215,35 @@
- #endif
-
- #ifndef PHP_WIN32
-- sigaction(SIGTERM, &old_term, 0);
--
- /* Kill all the processes in our process group */
-- kill(-pgroup, SIGTERM);
-+ if (signal == SIGINT) {
-+ sigaction(SIGTERM, &old_int, 0);
-+ kill(-pgroup, SIGINT);
-+ } else {
-+ sigaction(SIGTERM, &old_term, 0);
-+ kill(-pgroup, SIGTERM);
-+ }
- #endif
-
- /* We should exit at this point, but MacOSX doesn't seem to */