Description:
------------
When terminating a running script under phpdbg by ctrl+c, the execution does not stop, but falls back to phpdbg prompt.

Also it requires double ctrl+c, first has no effect (not sure if that is a bug as well though).

Tested with bash and dash.

Test script:
---------------
<?php
for (;;) {
        echo 1, PHP_EOL;
        sleep(1);
}

Actual result:
--------------
$ phpdbg -qrr test.php
1
^C1
^C[Current opline: in internal function sleep]
>00005: 	sleep(1);
 00006: }
 00007: 
prompt>