Open AndreaCensi opened 14 years ago
If we receive CTRL-C we must make sure that the other subprocesses are interrupted as well (right now it takes another CTRL-C)
If we receive CTRL-C we must make sure that the other subprocesses are interrupted as well (right now it takes another CTRL-C)