-
Luke Campagnola authored
- avoid sending keyboard interrupt signals to child processes - parallelizer keeps better track of processes that die unexpectedly - added ability to specify a different executable when starting new processes
e2148085
Am Freitag, 19.04.2024 findet zwischen 7 und 8:30 Uhr eine Wartung statt.
- avoid sending keyboard interrupt signals to child processes - parallelizer keeps better track of processes that die unexpectedly - added ability to specify a different executable when starting new processes