@timqi/pier 0.0.7 → 0.0.8

package/dist/db.js

@@ -145,6 +145,27 @@ const MIGRATIONS = [
   ALTER TABLE session_state ADD COLUMN cwd TEXT;
   ALTER TABLE session_state ADD COLUMN title TEXT;
   ALTER TABLE session_state ADD COLUMN created_at INTEGER;
+  `,
+    // 5 — the workbench can reach a browser that is not open (web/push.ts).
+    `
+  -- One row per browser that asked to be notified, exactly as the Push API
+  -- described it; a dead endpoint is deleted when its service says so.
+  CREATE TABLE push_subscriptions (
+    endpoint TEXT PRIMARY KEY,
+    p256dh TEXT NOT NULL,
+    auth TEXT NOT NULL,
+    label TEXT NOT NULL,
+    created_at INTEGER NOT NULL
+  );
+
+  -- This instance's VAPID identity: one key pair, minted on first use. Every
+  -- subscription above is bound to it, so it is never rotated on its own.
+  CREATE TABLE push_identity (
+    id INTEGER PRIMARY KEY CHECK (id = 1),
+    public_key TEXT NOT NULL,
+    private_key TEXT NOT NULL,
+    created_at INTEGER NOT NULL
+  );
   `,
 ];
 let shared;

package/dist/main.js

@@ -32,6 +32,7 @@ import { startUpdate, unitPath, updaterProblem } from "./service.js";
 import { SettingsStore } from "./settings.js";
 import { startAutoUpdate, UpdateCheck } from "./update.js";
 import { AuthStore, registerAuthRoutes, requireAuth } from "./web/auth.js";
+import { PushStore, registerPushRoutes } from "./web/push.js";
 import { SessionStateStore } from "./web/session-state.js";
 import { createServer } from "./web/server.js";
 import { attachTerminal } from "./web/terminal.js";
@@ -259,11 +260,23 @@ registerAuthRoutes(app, auth);
 registerTaskRoutes(app, tasks, { factory, router });
 registerChannelRoutes(app, channelStore, channels);
 registerBoardRoutes(app);
+const sessionState = new SessionStateStore(db);
+// The workbench's notifications to a browser that is not open. Composed here,
+// beside the other surfaces: it consumes the same event stream the web server
+// does, and neither one runs the other.
+registerPushRoutes(app, {
+    store: new PushStore(db),
+    hub,
+    unread: (id) => sessionState.unread(id),
+    channelOf: (id) => router.conversationOf(id)?.channelId,
+    name: (id) => sessionState.name(id),
+    publicUrl: () => settings.get().publicUrl,
+});
 app.route("/", createServer({
     factory,
     router,
     hub,
-    sessions: new SessionStateStore(db),
+    sessions: sessionState,
     config: piConfig,
     providers: factory,
     settings,