--- a/jobs.c Wed Jul 16 06:36:11 2008 +0200
+++ b/jobs.c Wed Jul 16 06:38:33 2008 +0200
@@ -722,7 +722,9 @@
} else
{
p = get_job(jobid);
- if (p != 0 && p->state != RUNNING && p->state != FINISHED)
+ if (p != 0 && p->state != RUNNING
+ && p->state != FINISHED
+ && p->state != SKIPPED)
p = 0;
}