Closed jhprinz closed 7 years ago
Lot's of improvements. The SIGTERM shutdown works, but apparently scandal calls sigKILL, so we have no chance. Default behaviour in SLURM 17 is first SIGTERM and then little later SIGKILL, which would be perfect.
Seems stable. Will merge this now.
reduced the number of unnecessary DB accesses a lot.