617618619620621622623624625626627
if (connection != null) { synchronized (localMonitor) { if (connection != null) { Subscription sub = connection.getSubscription(); if (sub != null) { sub.pUnsubscribe(); sub.unsubscribe(); } } } }
677678679680681682683684685686687
if (connection != null) { synchronized (localMonitor) { if (connection != null) { Subscription sub = connection.getSubscription(); if (sub != null) { sub.pUnsubscribe(patterns); } } } } }
135136137138139140141142143144145
t.start(); tbtmSubItem.addDisposeListener(new DisposeListener() { @Override public void widgetDisposed(DisposeEvent e) { callback.punsubscribe(); } }); return tbtmSubItem; }