diff options
Diffstat (limited to 'src/actors')
| -rw-r--r-- | src/actors/scala/actors/Actor.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/actors/scala/actors/Actor.scala b/src/actors/scala/actors/Actor.scala index 2e0d0185d5..458e41c9b4 100644 --- a/src/actors/scala/actors/Actor.scala +++ b/src/actors/scala/actors/Actor.scala @@ -627,7 +627,7 @@ trait Actor extends OutputChannel[Any] { // Assume !this.exiting private[actors] def exit(from: Actor, reason: AnyRef) { if (trapExit) { - this ! {'EXIT, from, reason} + this ! Triple('EXIT, from, reason) } else if (reason != 'normal) this.synchronized { |