source: branches/HeuristicLab.Hive-3.3/sources/HeuristicLab.Hive/HeuristicLab.Hive.Server.Console @ 5511

Name	Size	Rev	Age	Author	Last Change
../
3.3	​	5232	14 years	cneumuel	#1260 * added cancellation to HiveEngine * made HiveEngine more …

Property bugtraq:label set to Ticket Property bugtraq:logregex set to (?:ticket: *|#)(\d+) *(?:, *(\d+))* Property bugtraq:url set to /trac/hl/core/ticket/%BUGID% Property bugtraq:warnifnoissue set to true