diff options
author | Miles Sabin <miles@milessabin.com> | 2009-05-26 10:18:52 +0000 |
---|---|---|
committer | Miles Sabin <miles@milessabin.com> | 2009-05-26 10:18:52 +0000 |
commit | 46bb8d600c4f47e044c40583cb3f564761eab035 (patch) | |
tree | 95c2911de2cb01200028c1745a2be24093308b14 /src/compiler/scala/tools/nsc/util/WorkScheduler.scala | |
parent | c3247d415f558ce4630a374aba920e2e0c419b74 (diff) | |
download | scala-46bb8d600c4f47e044c40583cb3f564761eab035.tar.gz scala-46bb8d600c4f47e044c40583cb3f564761eab035.tar.bz2 scala-46bb8d600c4f47e044c40583cb3f564761eab035.zip |
Export new packages; minor updates to interactive.
Diffstat (limited to 'src/compiler/scala/tools/nsc/util/WorkScheduler.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/util/WorkScheduler.scala | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/util/WorkScheduler.scala b/src/compiler/scala/tools/nsc/util/WorkScheduler.scala index cd4d805701..bcd57ba6c2 100644 --- a/src/compiler/scala/tools/nsc/util/WorkScheduler.scala +++ b/src/compiler/scala/tools/nsc/util/WorkScheduler.scala @@ -12,7 +12,7 @@ class WorkScheduler { /** Called from server: block until todo list is nonempty */ def waitForMoreWork() = synchronized { - do { wait() } while (todo.isEmpty) + while (todo.isEmpty) { wait() } } /** called from Server: test whether todo list is nonempty */ @@ -44,7 +44,7 @@ class WorkScheduler { } /** Called from client: have action executed by server */ - def postWorkItem(action: Action) { + def postWorkItem(action: Action) = synchronized { todo enqueue action notify() } @@ -62,4 +62,3 @@ class WorkScheduler { if (working) except = Some(exc) } } - |