Evaluate if the launcher shall notify the melissa_da_server about jobs that crashed
Evaluate if the launcher shall notify the melissa_da_server about jobs that crashed. At the moment the server learns about such cases through timeouts. (Remember that these timeouts still must persist if the launcher tells the server about crashing runners in case where a runner deadlocks/ is numerically stuck - the launcher might see its job up but the server does not receive any messages.)
From the launcher side communication must be added at the lines marked with
# TODO: notify server!
in 7beaf0bf
Edited by FRIEDEMANN Sebastian