Merge branch '1876_sigint_signal_handling'
commit52ba225bc5eec296cbe46b20845b219fb663bc5b
authorAndrew Borodin <aborodin@vmail.ru>
Fri, 25 Dec 2009 12:01:35 +0000 (25 12:01 +0000)
committerAndrew Borodin <aborodin@vmail.ru>
Fri, 25 Dec 2009 12:01:35 +0000 (25 12:01 +0000)
tree6e30b1f98aff8b78d9e25d0587ef51a62c1a9317
parent8cfffc5bfab8363e0640d7b907a41b3d3f0e8898
parenta20ebb38184e177f2ead8466f3ef1f131352aba7
Merge branch '1876_sigint_signal_handling'

* 1876_sigint_signal_handling:
  Ticket #1876: use Ctrl-g key to generate SIGINT signal.