Do not doubly terminate a task
Do not doubly terminate a task

	* src/scheduler/job.cc (terminate_now): If the task has terminated
	already, do not run terminate() and terminate_cleanup() again.

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