Fixed bug #70776 (Simple SIGINT does not have any effect)
authorBob Weinand <bobwei9@hotmail.com>
Sun, 16 Oct 2016 11:47:49 +0000 (13:47 +0200)
committerBob Weinand <bobwei9@hotmail.com>
Sun, 16 Oct 2016 11:47:49 +0000 (13:47 +0200)
commite93eaee1648a55d3d58788e2b898e8fb00f0c13c
tree0c89122e497c21581522cbb03e52fc1857a4d049
parent6d91772c2f591fa7838bd9c0e141d13c5ab6b196
Fixed bug #70776 (Simple SIGINT does not have any effect)
NEWS
sapi/phpdbg/phpdbg.c