Do not resume a terminated job in any case
Do not resume a terminated job in any case

	* src/scheduler/scheduler.cc (resume_scheduler): Even if a job
	is side-effect free, resuming it is a no-no if it has terminated
	already.

aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport