# HG changeset patch # User drewp@bigasterisk.com # Date 1685414269 25200 # Node ID cc371473ada10a9739220fce019554425dceda5b # Parent dcfa69d53fd2da4cd771ad32953a3c874fea553a logging diff -r dcfa69d53fd2 -r cc371473ada1 light9/web/RdfDbChannel.ts --- a/light9/web/RdfDbChannel.ts Mon May 29 19:37:41 2023 -0700 +++ b/light9/web/RdfDbChannel.ts Mon May 29 19:37:49 2023 -0700 @@ -113,7 +113,7 @@ } private onPatch(input: SyncgraphPatchMessage) { - log("patch from server [0]"); + log(`patch msg from server`); this.serverMessage.emit({ evType: "patch", body: input }); this.messagesReceived++; this.updateStatus();