diff options
author | michelou <michelou@epfl.ch> | 2006-03-08 17:42:34 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-03-08 17:42:34 +0000 |
commit | c36fefb5da67593eaf4d03a4d87dba49052e48c0 (patch) | |
tree | 5c3a834b5af3abe666da1c34be0a179371c64b66 /docs/examples/oneplacebuffer.scala | |
parent | 3d41a873e2b40d56ec60cfca7fb2cb9cef71f7fb (diff) | |
download | scala-c36fefb5da67593eaf4d03a4d87dba49052e48c0.tar.gz scala-c36fefb5da67593eaf4d03a4d87dba49052e48c0.tar.bz2 scala-c36fefb5da67593eaf4d03a4d87dba49052e48c0.zip |
added method 'kill' in some examples docs/examp...
added method 'kill' in some examples docs/examples/*.scala
Diffstat (limited to 'docs/examples/oneplacebuffer.scala')
-rw-r--r-- | docs/examples/oneplacebuffer.scala | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/docs/examples/oneplacebuffer.scala b/docs/examples/oneplacebuffer.scala index ecc9f1b2e2..ccdb0f8732 100644 --- a/docs/examples/oneplacebuffer.scala +++ b/docs/examples/oneplacebuffer.scala @@ -24,6 +24,15 @@ object oneplacebuffer { } } + def kill(delay: Int) = new java.util.Timer().schedule( + new java.util.TimerTask { + override def run() = { + Console.println("[killed]") + System.exit(0) + } + }, + delay) // in milliseconds + def main(args: Array[String]) = { val buf = new OnePlaceBuffer val random = new java.util.Random() @@ -40,15 +49,9 @@ 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 + kill(10000) } } |