better handling of SIGINT / Ctrl-C#44

xwang1498 wants to merge 1 commit intodenilsonsa:masterdenilsonsa/prettyping:masterfrom

xwang1498:signal-handlingxwang1498/prettyping:signal-handlingCopy head branch name to clipboard