##// END OF EJS Templates
keep track of the sigint timer, and cancel it on a new prompt
r10383:251778c7
Show More
VERSION
3 lines | 69 B | text/plain | TextLexer
_jsonschema from commit :
3ddd80543bd6da56eeea84b2f364febaeadf31b9