blob: 994bac3dc296698d43c22d7bb42c221f2bec5c73 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
package scala.actors.scheduler
import java.util.Collection
import forkjoin.{ForkJoinPool, ForkJoinTask}
private class DrainableForkJoinPool extends ForkJoinPool {
override def drainTasksTo(c: Collection[ForkJoinTask[_]]): Int =
super.drainTasksTo(c)
}
|