diff options
author | michelou <michelou@epfl.ch> | 2006-03-08 17:02:15 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-03-08 17:02:15 +0000 |
commit | d969657ce2bbcfeffdfd15a97f3f7ca33d877737 (patch) | |
tree | a60c8e6f1f373114dd19d41b71521e16e303396b /docs/examples/oneplacebuffer.scala | |
parent | c7e1b5449f349d135cce6eceef2a906411d4fd41 (diff) | |
download | scala-d969657ce2bbcfeffdfd15a97f3f7ca33d877737.tar.gz scala-d969657ce2bbcfeffdfd15a97f3f7ca33d877737.tar.bz2 scala-d969657ce2bbcfeffdfd15a97f3f7ca33d877737.zip |
added method 'kill' in docs/examples/oneplacebu...
added method 'kill' in docs/examples/oneplacebuffer.scala
Diffstat (limited to 'docs/examples/oneplacebuffer.scala')
-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 } } |