# HG changeset patch # User drewp@bigasterisk.com # Date 1685398684 25200 # Node ID f61531e21a77cfece7ad3875e4a5ebd8988cf460 # Parent 1b7cde922c3db3b8595cdea6d8559092092883f3 logging diff -r 1b7cde922c3d -r f61531e21a77 light9/web/SyncedGraph.ts --- a/light9/web/SyncedGraph.ts Mon May 29 15:17:28 2023 -0700 +++ b/light9/web/SyncedGraph.ts Mon May 29 15:18:04 2023 -0700 @@ -156,11 +156,11 @@ log("not connected-- dropping patch"); return; } - if (patch.isEmpty()) throw 'should not get to this point with empty patch' + if (patch.isEmpty()) throw "should not get to this point with empty patch"; this._applyPatch(patch); if (this.client) { - log("sending patch:\n", patch.dump()) + log("sending patch:\n", patch.dump()); this.client.sendPatch(patch); } console.timeEnd("applyAndSendPatch"); @@ -170,12 +170,15 @@ // In most cases you want applyAndSendPatch. // // This is the only method that writes to this.graph! - log("_applyPatch [1]\n", patch.dump()); + log("_applyPatch [1] \n", patch.dump()); this.cachedFloatValues.clear(); this.cachedUriValues.clear(); patch.applyToGraph(this.graph); - log("applied patch locally", patch.summary()); - log('dump:\n'+patch.dump()); + if (false) { + log("applied patch locally", patch.summary()); + } else { + log("applied patch locally:\n" + patch.dump()); + } this.autoDeps.graphChanged(patch); } diff -r 1b7cde922c3d -r f61531e21a77 light9/web/patch.ts --- a/light9/web/patch.ts Mon May 29 15:17:28 2023 -0700 +++ b/light9/web/patch.ts Mon May 29 15:18:04 2023 -0700 @@ -94,7 +94,7 @@ this.dels.forEach((d) => lines.push(delPrefix + s(d.subject) + " " + s(d.predicate) + " " + s(d.object))); this.adds.forEach((d) => lines.push(addPrefix + s(d.subject) + " " + s(d.predicate) + " " + s(d.object))); lines.sort(); - return lines.join("\n"); + return lines.join("\n") + "\n" + (this.isEmpty() ? "(empty)" : "(nonempty)"); } async toJsonPatch(): Promise {