equal
deleted
inserted
replaced
51 def status = _status |
51 def status = _status |
52 def status_=(st: Command.Status.Value) { |
52 def status_=(st: Command.Status.Value) { |
53 if (st == Command.Status.UNPROCESSED) { |
53 if (st == Command.Status.UNPROCESSED) { |
54 state_results.clear |
54 state_results.clear |
55 // delete markup |
55 // delete markup |
56 markup_root.filter(_.info match { |
56 markup_root = markup_root.filter(_.info match { |
57 case RootInfo() | OuterInfo(_) => true |
57 case RootInfo() | OuterInfo(_) => true |
58 case _ => false |
58 case _ => false |
59 }) |
59 }).head |
60 } |
60 } |
61 _status = st |
61 _status = st |
62 } |
62 } |
63 |
63 |
64 |
64 |