equal
deleted
inserted
replaced
114 |
114 |
115 /* global state */ |
115 /* global state */ |
116 |
116 |
117 @volatile var verbose: Boolean = false |
117 @volatile var verbose: Boolean = false |
118 |
118 |
119 @volatile private var syntax = new Outer_Syntax |
119 @volatile private var syntax = Outer_Syntax.init() |
120 def current_syntax(): Outer_Syntax = syntax |
120 def current_syntax(): Outer_Syntax = syntax |
121 |
121 |
122 @volatile private var reverse_syslog = List[XML.Elem]() |
122 @volatile private var reverse_syslog = List[XML.Elem]() |
123 def syslog(): String = cat_lines(reverse_syslog.reverse.map(msg => XML.content(msg).mkString)) |
123 def syslog(): String = cat_lines(reverse_syslog.reverse.map(msg => XML.content(msg).mkString)) |
124 |
124 |