Closed majeinfo closed 3 years ago
Should ask if partial results should be dumped upon signal reception like Ctrl-C
Implemented
Should ask if partial results should be dumped upon signal reception like Ctrl-C