diff options
author | michelou <michelou@epfl.ch> | 2008-02-14 16:43:18 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2008-02-14 16:43:18 +0000 |
commit | ba31aaae833ee9caa33c5d7f713003f901b299eb (patch) | |
tree | 68b7aa6919f647e0f1d36dbf9bda31e41c5bb562 /docs/examples/actors/links.scala | |
parent | 2ba73ce97c64b7ead04a2efc562dbe8ca3b13e6f (diff) | |
download | scala-ba31aaae833ee9caa33c5d7f713003f901b299eb.tar.gz scala-ba31aaae833ee9caa33c5d7f713003f901b299eb.tar.bz2 scala-ba31aaae833ee9caa33c5d7f713003f901b299eb.zip |
updated code
Diffstat (limited to 'docs/examples/actors/links.scala')
-rw-r--r-- | docs/examples/actors/links.scala | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/docs/examples/actors/links.scala b/docs/examples/actors/links.scala index 679cdf9659..7e31eb09d1 100644 --- a/docs/examples/actors/links.scala +++ b/docs/examples/actors/links.scala @@ -12,21 +12,21 @@ object links extends Application { start ! Stop } - def p(n: int): Actor = + def p(n: Int): Actor = if (n == 0) top1() else top(p(n-1), n) - def top(a: Actor, n: int): Actor = actor { - Console.println("starting actor " + n + " (" + Thread.currentThread() + ")") + def top(a: Actor, n: Int): Actor = actor { + println("starting actor " + n + " (" + Thread.currentThread() + ")") self.trapExit = true link(a) loop { receive { case ex @ Exit(from, reason) => - Console.println("Actor " + n + " received " + ex) + println("Actor " + n + " received " + ex) exit('finished) case any => { - Console.println("Actor " + n + " received " + any) + println("Actor " + n + " received " + any) a ! any } } @@ -34,13 +34,13 @@ object links extends Application { } def top1(): Actor = actor { - Console.println("starting last actor" + " (" + Thread.currentThread() + ")") + println("starting last actor" + " (" + Thread.currentThread() + ")") receive { case Stop => - Console.println("Last actor now exiting") + println("Last actor now exiting") exit('abnormal) case any => - Console.println("Last actor received " + any) + println("Last actor received " + any) top1() } } |