publish_result: function(query, result) {
/* Publish an update announce */
var channel="/results/" + query.query_uuid + "/changed";
publish_result: function(query, result) {
/* Publish an update announce */
var channel="/results/" + query.query_uuid + "/changed";