author | wenzelm |
Fri, 02 May 2014 22:22:51 +0200 | |
changeset 56834 | a752f065f3d3 |
parent 56833 | d0a57abc71f8 |
child 56836 | 69531d86d77e |
permissions | -rw-r--r-- |
43282
5d294220ca43
moved sources -- eliminated Netbeans artifact of jedit package directory;
wenzelm
parents:
37175
diff
changeset
|
1 |
/* Title: Tools/jEdit/src/scala_console.scala |
36760 | 2 |
Author: Makarius |
3 |
||
4 |
Scala instance of Console plugin. |
|
5 |
*/ |
|
34841 | 6 |
|
7 |
package isabelle.jedit |
|
8 |
||
9 |
||
36015 | 10 |
import isabelle._ |
11 |
||
34844 | 12 |
import console.{Console, ConsolePane, Shell, Output} |
34841 | 13 |
|
34845 | 14 |
import org.gjt.sp.jedit.{jEdit, JARClassLoader} |
34841 | 15 |
import org.gjt.sp.jedit.MiscUtilities |
16 |
||
48613
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
17 |
import java.io.{File => JFile, FileFilter, OutputStream, Writer, PrintWriter} |
34841 | 18 |
|
47992
7700f0e9618c
avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0;
wenzelm
parents:
45580
diff
changeset
|
19 |
import scala.tools.nsc.{GenericRunnerSettings, NewLinePrintWriter, ConsoleWriter} |
7700f0e9618c
avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0;
wenzelm
parents:
45580
diff
changeset
|
20 |
import scala.tools.nsc.interpreter.IMain |
34846
ca76b3978540
pass all jEdit jars to compiler as classpath -- to enable proper referencing of application name space;
wenzelm
parents:
34845
diff
changeset
|
21 |
import scala.collection.mutable |
34841 | 22 |
|
23 |
||
24 |
class Scala_Console extends Shell("Scala") |
|
25 |
{ |
|
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
26 |
/* reconstructed jEdit/plugin classpath */ |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
27 |
|
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
28 |
private def reconstruct_classpath(): String = |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
29 |
{ |
48613
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
30 |
def find_files(start: JFile, ok: JFile => Boolean = _ => true): List[JFile] = |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
31 |
{ |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
32 |
val files = new mutable.ListBuffer[JFile] |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
33 |
val filter = new FileFilter { def accept(entry: JFile) = entry.isDirectory || ok(entry) } |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
34 |
def find_entry(entry: JFile) |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
35 |
{ |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
36 |
if (ok(entry)) files += entry |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
37 |
if (entry.isDirectory) entry.listFiles(filter).foreach(find_entry) |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
38 |
} |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
39 |
find_entry(start) |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
40 |
files.toList |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
41 |
} |
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
42 |
|
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
43 |
def find_jars(start: String): List[String] = |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
44 |
if (start != null) |
48613
232652ac346e
clarified directory content operations (similar to ML version);
wenzelm
parents:
48412
diff
changeset
|
45 |
find_files(new JFile(start), |
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
46 |
entry => entry.isFile && entry.getName.endsWith(".jar")).map(_.getAbsolutePath) |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
47 |
else Nil |
53575
df79aa33bb74
more official initial class path according to sun.misc.Launcher;
wenzelm
parents:
53574
diff
changeset
|
48 |
|
df79aa33bb74
more official initial class path according to sun.misc.Launcher;
wenzelm
parents:
53574
diff
changeset
|
49 |
val initial_class_path = |
53582 | 50 |
Library.space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", "")) |
53575
df79aa33bb74
more official initial class path according to sun.misc.Launcher;
wenzelm
parents:
53574
diff
changeset
|
51 |
|
53574
cb7d8e70f4f4
provide main classpath again, notably for cold-start;
wenzelm
parents:
50205
diff
changeset
|
52 |
val path = |
53575
df79aa33bb74
more official initial class path according to sun.misc.Launcher;
wenzelm
parents:
53574
diff
changeset
|
53 |
initial_class_path ::: |
df79aa33bb74
more official initial class path according to sun.misc.Launcher;
wenzelm
parents:
53574
diff
changeset
|
54 |
find_jars(jEdit.getSettingsDirectory) ::: |
df79aa33bb74
more official initial class path according to sun.misc.Launcher;
wenzelm
parents:
53574
diff
changeset
|
55 |
find_jars(jEdit.getJEditHome) |
48409 | 56 |
path.mkString(JFile.pathSeparator) |
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
57 |
} |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
58 |
|
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
59 |
|
34849 | 60 |
/* global state -- owned by Swing thread */ |
61 |
||
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
62 |
private abstract class Request |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
63 |
private var interpreters = Map[Console, Consumer_Thread[Request]]() |
34841 | 64 |
|
65 |
private var global_console: Console = null |
|
66 |
private var global_out: Output = null |
|
67 |
private var global_err: Output = null |
|
68 |
||
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
69 |
private val console_stream = new OutputStream |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
70 |
{ |
56833
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
71 |
val buf = new StringBuffer |
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
72 |
override def flush() |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
73 |
{ |
56833
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
74 |
val s = buf.synchronized { val s = buf.toString; buf.setLength(0); s } |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
75 |
val str = UTF8.decode_permissive(s) |
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
76 |
Swing_Thread.later { |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
77 |
if (global_out == null) System.out.print(str) |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
78 |
else global_out.writeAttrs(null, str) |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
79 |
} |
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
80 |
} |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
81 |
override def close() { flush () } |
56833
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
82 |
def write(byte: Int) { |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
83 |
val c = byte.toChar |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
84 |
buf.append(c) |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
85 |
if (c == '\n') flush() |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
86 |
} |
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
87 |
} |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
88 |
|
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
89 |
private val console_writer = new Writer |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
90 |
{ |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
91 |
def flush() {} |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
92 |
def close() {} |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
93 |
|
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
94 |
def write(cbuf: Array[Char], off: Int, len: Int) |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
95 |
{ |
36015 | 96 |
if (len > 0) write(new String(cbuf.slice(off, off + len))) |
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
97 |
} |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
98 |
|
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
99 |
override def write(str: String) |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
100 |
{ |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
101 |
if (global_out == null) System.out.println(str) |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
102 |
else global_out.print(null, str) |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
103 |
} |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
104 |
} |
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
105 |
|
34844 | 106 |
private def with_console[A](console: Console, out: Output, err: Output)(e: => A): A = |
107 |
{ |
|
108 |
global_console = console |
|
109 |
global_out = out |
|
110 |
global_err = if (err == null) out else err |
|
56833
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
111 |
try { |
56832 | 112 |
scala.Console.withErr(console_stream) { |
113 |
scala.Console.withOut(console_stream) { e } |
|
114 |
} |
|
115 |
} |
|
56833
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
116 |
finally { |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
117 |
console_stream.flush |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
118 |
global_console = null |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
119 |
global_out = null |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
120 |
global_err = null |
d0a57abc71f8
clarified synchronization and exception handling;
wenzelm
parents:
56832
diff
changeset
|
121 |
} |
34844 | 122 |
} |
123 |
||
34841 | 124 |
private def report_error(str: String) |
125 |
{ |
|
126 |
if (global_console == null || global_err == null) System.err.println(str) |
|
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
127 |
else Swing_Thread.later { global_err.print(global_console.getErrorColor, str) } |
34846
ca76b3978540
pass all jEdit jars to compiler as classpath -- to enable proper referencing of application name space;
wenzelm
parents:
34845
diff
changeset
|
128 |
} |
ca76b3978540
pass all jEdit jars to compiler as classpath -- to enable proper referencing of application name space;
wenzelm
parents:
34845
diff
changeset
|
129 |
|
34841 | 130 |
|
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
131 |
/* interpreter thread */ |
34841 | 132 |
|
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
133 |
private case class Start(console: Console) extends Request |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
134 |
private case class Execute(console: Console, out: Output, err: Output, command: String) |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
135 |
extends Request |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
136 |
|
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
137 |
private def fork_interpreter(): Consumer_Thread[Request] = |
34841 | 138 |
{ |
139 |
val settings = new GenericRunnerSettings(report_error) |
|
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
140 |
settings.classpath.value = reconstruct_classpath() |
34849 | 141 |
|
47992
7700f0e9618c
avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0;
wenzelm
parents:
45580
diff
changeset
|
142 |
val interp = new IMain(settings, new PrintWriter(console_writer, true)) |
34845 | 143 |
{ |
144 |
override def parentClassLoader = new JARClassLoader |
|
145 |
} |
|
146 |
interp.setContextClassLoader |
|
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
147 |
|
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
148 |
Consumer_Thread.fork[Request]("Scala_Console") { |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
149 |
case Start(console) => |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
150 |
interp.bind("view", "org.gjt.sp.jedit.View", console.getView) |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
151 |
interp.bind("console", "console.Console", console) |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
152 |
interp.interpret("import isabelle.jedit.PIDE") |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
153 |
true |
34850
fdd560e80264
redirect scala.Console output during interpretation;
wenzelm
parents:
34849
diff
changeset
|
154 |
|
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
155 |
case Execute(console, out, err, command) => |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
156 |
with_console(console, out, err) { |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
157 |
interp.interpret(command) |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
158 |
Swing_Thread.later { |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
159 |
if (err != null) err.commandDone() |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
160 |
out.commandDone() |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
161 |
} |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
162 |
true |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
163 |
} |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
164 |
} |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
165 |
} |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
166 |
|
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
167 |
|
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
168 |
/* jEdit console methods */ |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
169 |
|
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
170 |
override def openConsole(console: Console) |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
171 |
{ |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
172 |
val interp = fork_interpreter() |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
173 |
interp.send(Start(console)) |
34845 | 174 |
interpreters += (console -> interp) |
34841 | 175 |
} |
176 |
||
177 |
override def closeConsole(console: Console) |
|
178 |
{ |
|
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
179 |
interpreters.get(console) match { |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
180 |
case Some(interp) => |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
181 |
interp.shutdown |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
182 |
interpreters -= console |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
183 |
case None => |
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
184 |
} |
34841 | 185 |
} |
186 |
||
34849 | 187 |
override def printInfoMessage(out: Output) |
188 |
{ |
|
189 |
out.print(null, |
|
190 |
"This shell evaluates Isabelle/Scala expressions.\n\n" + |
|
191 |
"The following special toplevel bindings are provided:\n" + |
|
50205 | 192 |
" view -- current jEdit/Swing view (e.g. view.getBuffer, view.getTextArea)\n" + |
193 |
" console -- jEdit Console plugin\n" + |
|
55621
8d69c15b6fb9
added PIDE.snapshot, PIDE.rendering for convenience;
wenzelm
parents:
55618
diff
changeset
|
194 |
" PIDE -- Isabelle/PIDE plugin (e.g. PIDE.session, PIDE.snapshot, PIDE.rendering)\n") |
34849 | 195 |
} |
196 |
||
34841 | 197 |
override def printPrompt(console: Console, out: Output) |
37175 | 198 |
{ |
34844 | 199 |
out.writeAttrs(ConsolePane.colorAttributes(console.getInfoColor), "scala>") |
37175 | 200 |
out.writeAttrs(ConsolePane.colorAttributes(console.getPlainColor), " ") |
201 |
} |
|
34841 | 202 |
|
203 |
override def execute(console: Console, input: String, out: Output, err: Output, command: String) |
|
204 |
{ |
|
56834
a752f065f3d3
fork Scala interpreter thread, independently of Swing_Thread;
wenzelm
parents:
56833
diff
changeset
|
205 |
interpreters(console).send(Execute(console, out, err, command)) |
34841 | 206 |
} |
34849 | 207 |
|
208 |
override def stop(console: Console) |
|
209 |
{ |
|
210 |
closeConsole(console) |
|
211 |
console.clear |
|
212 |
openConsole(console) |
|
213 |
val out = console.getOutput |
|
214 |
out.commandDone |
|
215 |
printPrompt(console, out) |
|
216 |
} |
|
34841 | 217 |
} |