- // xxx we observe quite a lot of incoming calls with an undefined query_uuid
- // this should be fixed upstream
- if (query_uuid === undefined) {
- messages.warning("undefined query in raise_event_handler");
- return;
- }
-
- // notify the change to objects that either listen to this channel specifically,
- // or to the wildcard channel
+ // xxx we observe quite a lot of incoming calls with an undefined query_uuid
+ // this should be fixed upstream in manifold I expect
+ if (query_uuid === undefined) {
+ messages.warning("undefined query in raise_event_handler");
+ return;
+ }
+
+ // notify the change to objects that either listen to this channel specifically,
+ // or to the wildcard channel