Correcting bug on Memberleft source

closes #990
sarl · Mar 13, 2020 · 272840f · 272840f
1 parent d1cf1a8
commit 272840f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...ject/io.janusproject.plugin/src/main/sarl/io/sarl/sre/internal/PlatformEventEmitters.sarl b/...ject/io.janusproject.plugin/src/main/sarl/io/sarl/sre/internal/PlatformEventEmitters.sarl
@@ -283,7 +283,7 @@ class ContextMemberEventEmitter implements ExternalContextMemberListener {
 				contextID
 		)]
 		val defSpace = leftContext.defaultSpace
-		val source = new Address(leftContextSpaceId, leftContext.ID)
+		val source = new Address(leftContextSpaceId, leftMemberID)
 		// The first parameter is null because the event has an address.
 		defSpace.emit(null, new MemberLeft(source, leftMemberID, agentType)) [
 			it.UUID != leftMemberID