Bug #77818 [NEW]: When run through Docker, the process does not exit after a Ctrl+C SIGINT

From: sarkedev+php at gmail dot com Operating system: Linux Ubuntu bionic PHP version: 7.3.3 Package: CGI/CLI related Bug Type: Bug Bug description:When run through Docker, the process does not exit after a Ctrl+C SIGINT Description: ------------ I'll use this simple example to illustrate the problem, but it could be any script that might be stuck. php -r 'while(1) sleep(1);' This can be killed with Ctrl+C. docker run -it php:cli php -r 'while(1) sleep(1);' This can't be killed with Ctrl+C. It's also not possible to kill in the shell inside the container, and it can also not be killed by killing the parent docker process. Only the root on the host can kill it. Test script: --------------- docker run -it php:cli php -r 'while(1) sleep(1);' -- Edit bug report at https://bugs.php.net/bug.php?id=77818&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=77818&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=77818&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=77818&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=77818&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=77818&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=77818&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=77818&r=needscript Try newer version: https://bugs.php.net/fix.php?id=77818&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=77818&r=support Expected behavior: https://bugs.php.net/fix.php?id=77818&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=77818&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=77818&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=77818&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=77818&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=77818&r=dst IIS Stability: https://bugs.php.net/fix.php?id=77818&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=77818&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=77818&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=77818&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=77818&r=mysqlcfg