235b3b358c
This allows spawned children processes to be killed when a user performs a Ctrl-C operation. Before this change, children processes would end up continuing in the background with the user unaware. |
||
|---|---|---|
| .. | ||
| command_output.rs | ||
| constants.rs | ||
| ctrlc_handler.rs | ||
| lib.rs | ||
| logging.rs | ||
| syntax_highlighting.rs | ||