[Rock-dev] [rock] #140: roby: in the shell, tasks that failed/failed to plan are not automatically removed from the job list

[rock]

#140: roby: in the shell, tasks that failed/failed to plan are not automatically
removed from the job list
----------------------------+-----------------------------------
 Reporter:  sylvain.joyeux  |      Owner:  rock-dev-mailing-list
     Type:  defect          |     Status:  new
 Priority:  major           |  Milestone:
Component:  base            |   Keywords:
----------------------------+-----------------------------------


-- 
Ticket URL: <https://rock.opendfki.de/ticket/140>
rock <https://rock.opendfki.de>
rock: the robot construction kit