equal
deleted
inserted
replaced
70 |
70 |
71 private var _status = Command.Status.UNPROCESSED |
71 private var _status = Command.Status.UNPROCESSED |
72 def status = _status |
72 def status = _status |
73 def status_=(st: Command.Status.Value) { |
73 def status_=(st: Command.Status.Value) { |
74 if (st == Command.Status.UNPROCESSED) { |
74 if (st == Command.Status.UNPROCESSED) { |
|
75 state_results.clear |
75 // delete markup |
76 // delete markup |
76 for (child <- root_node.children) { |
77 for (child <- root_node.children) { |
77 child.children = Nil |
78 child.children = Nil |
78 } |
79 } |
79 } |
80 } |
83 |
84 |
84 /* results */ |
85 /* results */ |
85 |
86 |
86 private val results = new mutable.ListBuffer[XML.Tree] |
87 private val results = new mutable.ListBuffer[XML.Tree] |
87 private val state_results = new mutable.ListBuffer[XML.Tree] |
88 private val state_results = new mutable.ListBuffer[XML.Tree] |
88 def add_result(running: Boolean, tree: XML.Tree) { |
89 def add_result(running: Boolean, tree: XML.Tree) = synchronized { |
89 (if (running) state_results else results) += tree |
90 (if (running) state_results else results) += tree |
90 } |
91 } |
91 |
92 |
92 def result_document = XML.document( |
93 def result_document = XML.document( |
93 results.toList ::: state_results.toList match { |
94 results.toList ::: state_results.toList match { |