diff options
Diffstat (limited to 'docs/examples')
-rw-r--r-- | docs/examples/oneplacebuffer.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/examples/oneplacebuffer.scala b/docs/examples/oneplacebuffer.scala index 2d6277913c..ecc9f1b2e2 100644 --- a/docs/examples/oneplacebuffer.scala +++ b/docs/examples/oneplacebuffer.scala @@ -40,8 +40,15 @@ object oneplacebuffer { consumer } + def kill = new java.util.Timer().schedule( + new java.util.TimerTask { + override def run() = System.exit(0) + }, + 10000) // delay in milliseconds + ops.spawn(producer(0)) ops.spawn(consumer) + kill } } |