Better error handling in sage-cleaner

[jdemeyer]

My sage-cleaner instance is randomly killing jobs. Reason:

Checking PIDs [18654]
Process 18654 is no longer running, so we clean up
Killing 18654's spawned jobs
--> Killing 'gp' with PID 18743 and parent PID 18654
--> Killing 'gp' with PID 18759 and parent PID 18654
--> Killing 'gp' with PID 18841 and parent PID 18654
--> Killing 'gp' with PID 18851 and parent PID 18654
--> Killing 'gp' with PID 18868 and parent PID 18654
--> Killing 'gp' with PID 18878 and parent PID 18654
--> Killing 'gp' with PID 18982 and parent PID 18654
--> Killing 'gp' with PID 19333 and parent PID 18654
Exception while cleaning up PID 18654:
Traceback (most recent call last):
  File "/usr/local/src/sage-config/src/bin/sage-cleaner", line 94, in cleanup
    or kill_spawned_jobs(spawned_processes, parent_pid):
  File "/usr/local/src/sage-config/src/bin/sage-cleaner", line 106, in kill_spawned_jobs
    pid, cmd = job.strip().split(' ', 1)
ValueError: need more than 1 value to unpack

Probably the jobfile got corrupted somehow and we need to handle this gracefully.

Component: scripts

Author: Jeroen Demeyer

Branch/Commit: 7940870

Reviewer: Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/21800

[jdemeyer]

Branch: u/jdemeyer/better_error_handling_in_sage_cleaner

[jdemeyer]

Commit: 7940870

[jdemeyer]

New commits:

7940870

Better error handling in sage-cleaner

[fchapoton]

Reviewer: Frédéric Chapoton

[fchapoton]

comment:3

ok, let it be

[vbraun]

Changed branch from u/jdemeyer/better_error_handling_in_sage_cleaner to 7940870