# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1522306647 -7200
# Node ID 0a22dc80d67123f0746b05c0bee35a98a1040920
# Parent  8cf58a415126002f6c3b3349fbd0339a2f24e7cc
jp (base): fixed use_pubsub when pubsub_flags is not needed

diff -r 8cf58a415126 -r 0a22dc80d671 frontends/src/jp/base.py
--- a/frontends/src/jp/base.py	Mon Mar 26 08:06:35 2018 +0200
+++ b/frontends/src/jp/base.py	Thu Mar 29 08:57:27 2018 +0200
@@ -755,7 +755,7 @@
 
         self._use_pubsub = kwargs.pop('use_pubsub', False)
         if self._use_pubsub:
-            flags = kwargs.pop('pubsub_flags', None)
+            flags = kwargs.pop('pubsub_flags', [])
             parents.add(self.host.make_pubsub_group(flags))
             self._pubsub_flags = flags