Explains why the process never terminates when the...

# announcements

[cedric]

Explains why the process never terminates when there are compilation errors: I never get a chance to shut down my executors