// reasonably low-noise, shows manifold requests coming in and out
asynchroneous_debug : true,
// print our more details on result publication and related callbacks
// reasonably low-noise, shows manifold requests coming in and out
asynchroneous_debug : true,
// print our more details on result publication and related callbacks
// OLD PLUGIN API BELOW
/* Publish an update announce */
var channel="/results/" + query.query_uuid + "/changed";
if (manifold.publish_result_debug)
// OLD PLUGIN API BELOW
/* Publish an update announce */
var channel="/results/" + query.query_uuid + "/changed";
if (manifold.publish_result_debug)
$.publish(channel, [result, query]);
if (manifold.publish_result_debug)
$.publish(channel, [result, query]);
if (manifold.publish_result_debug)
**************************************************************************/
raise_event_handler: function(type, query_uuid, event_type, value) {
**************************************************************************/
raise_event_handler: function(type, query_uuid, event_type, value) {
if ((type != 'query') && (type != 'record'))
throw 'Incorrect type for manifold.raise_event()';
// xxx we observe quite a lot of incoming calls with an undefined query_uuid
if ((type != 'query') && (type != 'record'))
throw 'Incorrect type for manifold.raise_event()';
// xxx we observe quite a lot of incoming calls with an undefined query_uuid
$.each(channels, function(i, channel) {
if (value === undefined) {
$.each(channels, function(i, channel) {
if (value === undefined) {