diff options
author | Martin Odersky <odersky@gmail.com> | 2011-04-11 10:50:59 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2011-04-11 10:50:59 +0000 |
commit | 3eaae8902043fbebdcdee0314b7b5d35fe274400 (patch) | |
tree | aa8d577c8b4962b983244b6e3d6cba4f819f7e99 /src | |
parent | a8f2ea50ac5df04ff11df33f7808e392c56aca0e (diff) | |
download | scala-3eaae8902043fbebdcdee0314b7b5d35fe274400.tar.gz scala-3eaae8902043fbebdcdee0314b7b5d35fe274400.tar.bz2 scala-3eaae8902043fbebdcdee0314b7b5d35fe274400.zip |
FreshRunReq's are no longer suppressed when thr...
FreshRunReq's are no longer suppressed when thrown in a
respondGradually.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/interactive/Global.scala | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/interactive/Global.scala b/src/compiler/scala/tools/nsc/interactive/Global.scala index 2563feeb72..9b50b82bb3 100644 --- a/src/compiler/scala/tools/nsc/interactive/Global.scala +++ b/src/compiler/scala/tools/nsc/interactive/Global.scala @@ -537,11 +537,12 @@ class Global(settings: Settings, reporter: Reporter, projectName: String = "") } catch { case CancelException => debugLog("cancelled") -/* Commented out. Typing should always cancel requests case ex @ FreshRunReq => - scheduler.postWorkItem(() => respondGradually(response)(op)) + if (debugIDE) { + println("FreshRunReq thrown during response") + } + response raise ex throw ex -*/ case ex => if (debugIDE) { println("exception thrown during response: "+ex) |