From d969657ce2bbcfeffdfd15a97f3f7ca33d877737 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Wed, 8 Mar 2006 17:02:15 +0000
Subject: added method 'kill' in docs/examples/oneplacebu...

added method 'kill' in docs/examples/oneplacebuffer.scala
---
 docs/examples/oneplacebuffer.scala | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'docs/examples/oneplacebuffer.scala')

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
   }
 
 }
-- 
cgit v1.2.3