--- a/light9/web/RdfDbChannel.ts	Thu Jun 01 14:20:40 2023 -0700
+++ b/light9/web/RdfDbChannel.ts	Thu Jun 01 14:21:20 2023 -0700
@@ -57,9 +57,9 @@
     return true;
   }
 
-  disconnect() {
+  disconnect(why:string) {
     // will be followed by an autoconnect
-    log("disconnect requested");
+    log("disconnect requested:", why);
     if (this.ws !== undefined) {
       const closeHandler = this.ws.onclose?.bind(this.ws);
       if (!closeHandler) {
@@ -123,7 +123,7 @@
 
   private onWsError(e: Event) {
     log("ws error", e);
-    this.disconnect();
+    this.disconnect("ws error");
     this.updateStatus();
   }