diff options
| author | Martin Odersky <odersky@gmail.com> | 2011-01-06 16:20:51 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2011-01-06 16:20:51 +0000 |
| commit | 715262fcfcefbb75788f287444c4791180e7eb67 (patch) | |
| tree | b9cca75f3a75423f843ada9e38656d88bfda6068 /src/compiler/scala/tools/nsc/interactive/REPL.scala | |
| parent | 0b5c9ca6535b38dbfc958d92cfce691aa6de205f (diff) | |
| download | scala-715262fcfcefbb75788f287444c4791180e7eb67.tar.gz scala-715262fcfcefbb75788f287444c4791180e7eb67.tar.bz2 scala-715262fcfcefbb75788f287444c4791180e7eb67.zip | |
Replay now enabled for presentation compiler.
Diffstat (limited to 'src/compiler/scala/tools/nsc/interactive/REPL.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/interactive/REPL.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/interactive/REPL.scala b/src/compiler/scala/tools/nsc/interactive/REPL.scala index 834747c547..47807ccdac 100644 --- a/src/compiler/scala/tools/nsc/interactive/REPL.scala +++ b/src/compiler/scala/tools/nsc/interactive/REPL.scala @@ -124,6 +124,7 @@ object REPL { case List("complete", file, off1) => doComplete(makePos(file, off1, off1)) case List("quit") => + comp.askShutdown() system.exit(1) case _ => println("unrecongized command") |