var channel='/results/' + options.query_uuid + '/updated';
/* passing $this as 2nd arg: callbacks will retrieve $this as e.data */
$.subscribe(channel, $this, update_plugin);
var channel='/results/' + options.query_uuid + '/updated';
/* passing $this as 2nd arg: callbacks will retrieve $this as e.data */
$.subscribe(channel, $this, update_plugin);