Neil Williams 2013-08-09 The job list was not looking at the 
dispatcher_config devices list for the boards actually available 
on the machine running this scheduler. This patch adds a check on 
this list and prevents jobs being added if there is no configured board.