-
Jean-Francois Dockes authored
- Don't set the process group so that they receive keyboard interrupts. - Use Python signal package for clean exit in sample indexer.
30a7db05
- Don't set the process group so that they receive keyboard interrupts. - Use Python signal package for clean exit in sample indexer.