}
}, GWT.getModuleBaseURL() + "feed/package?name=" + pc.name + "&viewUrl="
+ CategoriesPanel.getSelfURL() + "&status=*");
tabPanel.addTab(uo[1] + " [" + pc.name + "]", true, list, key);
final ServerPushNotification sub = new ServerPushNotification() {
public void messageReceived(PushResponse response) {
if (response.messageType.equals("packageChange") && response.message.equals(pc.name)) {
list.refreshGrid();
}
}