Feature requested by Thomas Fahringer and Stefan: Task execution time limit (e.g. 15 min)
Feature requested by Thomas Fahringer and Stefan: Task execution time limit (e.g. 15 min)