diff options
| author | Burak Emir <emir@epfl.ch> | 2007-07-25 00:17:47 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2007-07-25 00:17:47 +0000 |
| commit | d6f27a8d9ca9b0207e85a594cc6c36588c346240 (patch) | |
| tree | f487065f9595981e180adfa4d14c1cbee078cd64 /src | |
| parent | 5355f3c7323fa0ea1dabe2e39ec112c9d0b061b9 (diff) | |
| download | scala-d6f27a8d9ca9b0207e85a594cc6c36588c346240.tar.gz scala-d6f27a8d9ca9b0207e85a594cc6c36588c346240.tar.bz2 scala-d6f27a8d9ca9b0207e85a594cc6c36588c346240.zip | |
renamed JlineReader to JLineReader so ant will ...
renamed JlineReader to JLineReader so ant will not recompile it
everytime
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/interpreter/InteractiveReader.scala | 2 | ||||
| -rw-r--r-- | src/compiler/scala/tools/nsc/interpreter/JLineReader.scala | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/interpreter/InteractiveReader.scala b/src/compiler/scala/tools/nsc/interpreter/InteractiveReader.scala index eb3c475d26..d928ec00ae 100644 --- a/src/compiler/scala/tools/nsc/interpreter/InteractiveReader.scala +++ b/src/compiler/scala/tools/nsc/interpreter/InteractiveReader.scala @@ -20,7 +20,7 @@ object InteractiveReader { * SimpleReader. */ def createDefault(): InteractiveReader = { try { - new JlineReader + new JLineReader } catch { case e => //out.println("jline is not available: " + e) //debug diff --git a/src/compiler/scala/tools/nsc/interpreter/JLineReader.scala b/src/compiler/scala/tools/nsc/interpreter/JLineReader.scala index cce34476e0..8d687d48af 100644 --- a/src/compiler/scala/tools/nsc/interpreter/JLineReader.scala +++ b/src/compiler/scala/tools/nsc/interpreter/JLineReader.scala @@ -9,7 +9,7 @@ package scala.tools.nsc.interpreter import java.io.File /** Reads from the console using JLine */ -class JlineReader extends InteractiveReader { +class JLineReader extends InteractiveReader { val consoleReader = { val history = try { new jline.History(new File(System.getProperty("user.home"), ".scala_history")) |