The graspit dispatcher should update the job table as jobs are started and killed.
Jobs should have:
The task ID the job is currently running.
The machine on which it is running
The start time at which the job is begun
The last time the job status was updated
The job status
The job exit status if applicable
The job table should be updated with the current time when the job was last updated.
They should periodically be updated with the current status even if it hasn't changed
There should be an sql function in the psql table that lists currently running jobs and one that lists jobs that have not been updated in a while.
The graspit dispatcher should update the job table as jobs are started and killed.
Jobs should have: The task ID the job is currently running. The machine on which it is running The start time at which the job is begun The last time the job status was updated The job status The job exit status if applicable
The job table should be updated with the current time when the job was last updated.
They should periodically be updated with the current status even if it hasn't changed
There should be an sql function in the psql table that lists currently running jobs and one that lists jobs that have not been updated in a while.