[Commit-gnuradio] [gnuradio] 01/01: grc: update port key on domain change

[git]

This is an automated email from the git hooks/post-receive script.

jcorgan pushed a commit to branch maint
in repository gnuradio.

commit 41507614ddadf1e4557e183ee9ecb1b9c4b2ddef
Author: Sebastian Koslowski <address@hidden>
Date:   Wed Oct 28 19:59:25 2015 +0100

    grc: update port key on domain change
---
 grc/base/Port.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/grc/base/Port.py b/grc/base/Port.py
index 6197089..39166d1 100644
--- a/grc/base/Port.py
+++ b/grc/base/Port.py
@@ -63,8 +63,10 @@ class Port(Element):
         type_ = self.get_type()
         if self._domain == GR_STREAM_DOMAIN and type_ == "message":
             self._domain = GR_MESSAGE_DOMAIN
+            self._key = self._name
         if self._domain == GR_MESSAGE_DOMAIN and type_ != "message":
             self._domain = GR_STREAM_DOMAIN
+            self._key = '0'  # is rectified in rewrite()
 
     def __str__(self):
         if self.is_source():