@langify-org/dsh-code-server 0.2.0 → 0.2.2

package/README.ja.md

@@ -44,7 +44,7 @@ DSH の Web 版や Desktop 版では **Plugins** ページから追加できま
 - ブラウザーでは、DSH が自分のオリジンの `/code-server` でエディターを配信します。すべてのリクエストと WebSocket は、先に DSH の認証とオリジンの検査を通ります。そのためエディターには、DSH に届く場所（Tailscale 経由など）からしか届きません。
 - DSH Desktop は DSH を `dsh-app://app` で表示します。code-server はここでは動きません。サーバーの宛先を自分のページのアドレスから作り、このスキームでは webview に必要な Service Worker も使えないためです。また Desktop は、自分以外のオリジンから Host への WebSocket を遮断します。そこで Desktop では、プラグイン自身が `127.0.0.1:<desktopPort>` でエディターを配信します。DSH とは別の、ふつうの http のオリジンです。待ち受けは、Desktop が初めて Code ページを開いたときに始めます。エディターのアドレスのパスには、プラグインの起動ごとに作るランダムなトークンが入ります。code-server はすべてをページからの相対パスで指すので、どのリクエストにもトークンが付きます。トークンを受け取れるのは、DSH が認証したページだけです。さらに、別のホスト名を名乗るリクエストは拒否し、DNS rebinding を防ぎます。
 - 起動のたびに、同梱の VS Code 拡張 **DSH Code Bridge**（`langify-org.dsh-code-bridge`）を code-server に入れ、古いものを置き換えます。
-- Code ページごとに専用の接続（binding）を作ります。ページは binding をエディターの URL の断片（サーバーには送られない部分）に入れ、そのエディター画面の拡張がそれを読み取って、別の非公開 socket でプラグインに接続します。同じフォルダーを複数のページで開いていても、ファイルはその画面にだけ開きます。
+- Code ページごとに専用の接続（binding）を作ります。ページは binding をエディターの URL の断片（サーバーには送られない部分）に入れ、そのエディター画面の拡張がそれを読み取って、別の非公開 socket でプラグインに接続します。同じフォルダーを複数のページで開いていても、ファイルはその画面にだけ開きます。エディターの画面が再読み込みしたとき（フォルダーを信頼したときなど）は、その画面の拡張が同じ binding につなぎ直します。ページはそれを最大1分待ちます。
 
 ## セキュリティ
 
@@ -52,14 +52,15 @@ code-server とそのターミナル・拡張は、あなたの権限で、DSH
 
 ## 手動確認
 
-ブラウザーと実際の code-server が必要なため、`pnpm check` には含めていません。リリース前に `pnpm dev` で確認します。`pnpm dev` では [dev.patch.yml](dev.patch.yml) により、code-server の設定と拡張は `.dsh/code-server/` に置かれ、普段の code-server とは分かれます。Host とページの変更は `pnpm dev` の実行中に反映されますが、`src/extension/` の変更は `pnpm dev` を起動し直すまで反映されません。code-server が拡張を入れるのは起動時だけだからです。
+ブラウザーと実際の code-server が必要なため、`pnpm check` には含めていません。リリース前に `pnpm dev` で確認します。`pnpm dev` では [dev.patch.yml](dev.patch.yml) により、code-server の設定と拡張は `.dsh/code-server/` に置かれ、普段の code-server とは分かれます。Host とページの変更は `pnpm dev` の実行中に反映されますが、`src/extension/` の変更は、プラグインが次に開くエディターの画面から反映されるので、Code タブで**再接続**を押してください。
 
 1. **Code** にはエディターだけが表示され、上に何も出ない。エディターのステータスバーの **DSH** が接続済みになる（Restricted Mode でも）。接続が終わった後もエディターは残り、上の行に**再接続**が出る。
 2. **Workspace files** で選んだテキストファイルが Code ページの該当行で開く。画像は DSH のビューアーのまま開く。
 3. サインインしていないと `/code-server/` と `POST /api/langify-code-server/create` が 401 を返し、別オリジンからの WebSocket の upgrade は 403 を返す。
 4. セッションの作業フォルダーが変わると、エディターが開き直すかを尋ねる。未保存のファイルがあれば先に保存を求め、そのあとページが新しいフォルダーでエディターを開き直す。
 5. DSH Desktop では、エディターが `http://127.0.0.1:41820/…` から読み込まれ、テーマとファイルアイコンが出て、Markdown のプレビューが開く。トークンが無いとポートは 404 を返す。
-6. Code タブを閉じると binding が閉じる。DSH を止めると code-server も止まり、socket が消える。
+6. エディターで **Developer: Reload Window** を実行したあとも、DSH で選んだファイルが**再接続**なしでその画面に開く。
+7. Code タブを閉じると binding が閉じる。DSH を止めると code-server も止まり、socket が消える。
 
 ## 既知の制約
 

package/README.md

@@ -44,7 +44,7 @@ With the defaults, the editor shares settings and extensions with your own code-
 - In a browser, DSH serves the editor under `/code-server` on its own origin. Every request and WebSocket passes DSH's authentication and origin check first, so the editor is reachable wherever DSH is, for example over Tailscale, and nowhere else.
 - DSH Desktop shows DSH at `dsh-app://app`, where code-server cannot run: it builds its server's addresses from its own page's, and that scheme allows no service workers, which webviews need. Desktop also refuses WebSockets to its Host from any other origin. So in Desktop the plugin serves the editor itself, on `127.0.0.1:<desktopPort>`, a plain http origin apart from DSH's. It starts listening when Desktop first opens the Code page. The editor's address carries in its path a random token, made anew whenever the plugin starts; code-server addresses everything relative to its page, so every request carries it. Only pages DSH has authenticated receive the token. The port also refuses requests that name another host, which stops DNS rebinding.
 - Before each start, the plugin installs its bundled VS Code extension, **DSH Code Bridge** (`langify-org.dsh-code-bridge`), into code-server, replacing any older copy.
-- Each Code page gets its own connection ("binding"). The page puts the binding in the editor's URL fragment, which never reaches a server; the extension in that editor window reads it back and connects to the plugin over another private socket. Files open in that window only, even when several pages show the same folder.
+- Each Code page gets its own connection ("binding"). The page puts the binding in the editor's URL fragment, which never reaches a server; the extension in that editor window reads it back and connects to the plugin over another private socket. Files open in that window only, even when several pages show the same folder. When the window reloads, for example after you trust its folder, its extension attaches to the binding again; the page waits up to a minute for that.
 
 ## Security
 
@@ -52,14 +52,15 @@ code-server runs as you, and so do its terminal and extensions, outside DSH's sa
 
 ## Manual checks
 
-These need a browser and a real code-server, so they are not part of `pnpm check`. Run them with `pnpm dev` before a release. Under `pnpm dev`, [dev.patch.yml](dev.patch.yml) keeps code-server's settings and extensions in `.dsh/code-server/`, apart from your own code-server. Changes to the host and the page reload while `pnpm dev` runs; a change under `src/extension/` takes effect only after restarting `pnpm dev`, because code-server installs the extension when it starts.
+These need a browser and a real code-server, so they are not part of `pnpm check`. Run them with `pnpm dev` before a release. Under `pnpm dev`, [dev.patch.yml](dev.patch.yml) keeps code-server's settings and extensions in `.dsh/code-server/`, apart from your own code-server. Changes to the host and the page reload while `pnpm dev` runs; a change under `src/extension/` reaches the next editor window the plugin opens, so press **Reconnect** in the Code tab.
 
 1. **Code** shows the editor with nothing above it, and the editor's status bar shows **DSH** as connected, also in Restricted Mode. After the connection ends, the editor stays and a line above it offers **Reconnect**.
 2. A text file chosen in **Workspace files** opens in the Code page at its line; an image keeps DSH's viewer.
 3. Without signing in, `/code-server/` and `POST /api/langify-code-server/create` answer 401, and a WebSocket upgrade from another origin answers 403.
 4. After the session's working folder changes, the editor offers to reopen; with an unsaved file it asks to save first, then the page reloads the editor on the new folder.
 5. In DSH Desktop, the editor loads from `http://127.0.0.1:41820/…` with your theme and file icons, and a Markdown preview opens. The port answers 404 without the token.
-6. Closing the Code tab closes its binding; stopping DSH stops code-server and removes its sockets.
+6. After **Developer: Reload Window** in the editor, a file chosen in DSH still opens there, without **Reconnect**.
+7. Closing the Code tab closes its binding; stopping DSH stops code-server and removes its sockets.
 
 ## Known limitations
 

package/README.zh.md

@@ -44,7 +44,7 @@ dsh plugin --profile <profile> add @langify-org/dsh-code-server
 - 在浏览器中，DSH 在自己的源下通过 `/code-server` 提供编辑器。每个请求和 WebSocket 都会先经过 DSH 的认证和来源检查，因此只有能访问 DSH 的地方（例如通过 Tailscale）才能访问编辑器。
 - DSH Desktop 在 `dsh-app://app` 显示 DSH，code-server 无法在那里运行：它根据自身页面的地址构造服务器地址，而且该协议不支持 webview 所需的 Service Worker。Desktop 还会拒绝来自其他源、发往其 Host 的 WebSocket。因此在 Desktop 中，插件自己在 `127.0.0.1:<desktopPort>` 提供编辑器，这是一个独立于 DSH 的普通 http 源。Desktop 第一次打开 Code 页面时才开始监听。编辑器地址的路径中带有一个随机令牌，插件每次启动时重新生成；code-server 的所有地址都相对于其页面，因此每个请求都会带上它。只有经过 DSH 认证的页面才能拿到该令牌。该端口还会拒绝声明为其他主机名的请求，以防 DNS rebinding。
 - 每次启动前，插件都会把内置的 VS Code 扩展 **DSH Code Bridge**（`langify-org.dsh-code-bridge`）安装到 code-server 中，替换旧版本。
-- 每个 Code 页面都有自己的连接（binding）。页面把 binding 放在编辑器 URL 的片段中（这一部分不会发送到服务器），该编辑器窗口中的扩展读取它，并通过另一个私有套接字连接到插件。即使多个页面打开了同一个文件夹，文件也只会在对应的窗口中打开。
+- 每个 Code 页面都有自己的连接（binding）。页面把 binding 放在编辑器 URL 的片段中（这一部分不会发送到服务器），该编辑器窗口中的扩展读取它，并通过另一个私有套接字连接到插件。即使多个页面打开了同一个文件夹，文件也只会在对应的窗口中打开。编辑器窗口重新加载时（例如在你信任其文件夹之后），该窗口中的扩展会重新连接到同一个 binding；页面最多等待一分钟。
 
 ## 安全
 
@@ -52,14 +52,15 @@ code-server 及其终端和扩展以你的身份运行，不受 DSH 沙箱和审
 
 ## 手动检查
 
-这些检查需要浏览器和真实的 code-server，因此不包含在 `pnpm check` 中。发布前请用 `pnpm dev` 进行检查。在 `pnpm dev` 下，[dev.patch.yml](dev.patch.yml) 会把 code-server 的设置和扩展放在 `.dsh/code-server/` 中，与你平时使用的 code-server 分开。Host 和页面的修改会在 `pnpm dev` 运行期间重新加载；而 `src/extension/` 下的修改要重启 `pnpm dev` 后才会生效，因为 code-server 只在启动时安装扩展。
+这些检查需要浏览器和真实的 code-server，因此不包含在 `pnpm check` 中。发布前请用 `pnpm dev` 进行检查。在 `pnpm dev` 下，[dev.patch.yml](dev.patch.yml) 会把 code-server 的设置和扩展放在 `.dsh/code-server/` 中，与你平时使用的 code-server 分开。Host 和页面的修改会在 `pnpm dev` 运行期间重新加载；而 `src/extension/` 下的修改会在插件打开的下一个编辑器窗口中生效，因此请在 Code 标签页中点击**重新连接**。
 
 1. **Code** 只显示编辑器，上方没有其他内容；编辑器状态栏中的 **DSH** 显示为已连接（受限模式下也是如此）。连接结束后编辑器仍会保留，上方的一行会提供**重新连接**。
 2. 在 **Workspace files** 中选择的文本文件会在 Code 页面的对应行打开；图片仍使用 DSH 的查看器。
 3. 未登录时，`/code-server/` 和 `POST /api/langify-code-server/create` 返回 401，来自其他源的 WebSocket upgrade 返回 403。
 4. 会话的工作文件夹变化后，编辑器会询问是否重新打开；如有未保存的文件，会先要求保存，然后页面在新文件夹中重新打开编辑器。
 5. 在 DSH Desktop 中，编辑器从 `http://127.0.0.1:41820/…` 加载，显示你的主题和文件图标，Markdown 预览可以打开；没有令牌时该端口返回 404。
-6. 关闭 Code 标签页会关闭其 binding；停止 DSH 会停止 code-server 并删除其套接字。
+6. 在编辑器中执行 **Developer: Reload Window** 之后，在 DSH 中选择的文件仍会在该窗口打开，无需**重新连接**。
+7. 关闭 Code 标签页会关闭其 binding；停止 DSH 会停止 code-server 并删除其套接字。
 
 ## 已知限制
 

package/dist/client.cjs

@@ -38,7 +38,6 @@ window.__ModuleLoader__.load({
 			"error.desktop_port_in_use": "The editor's port for DSH Desktop is taken: {message}. Choose another one with the plugin's desktopPort setting.",
 			"error.unknown_binding": "This editor connection is gone. Reconnect.",
 			"error.not_ready": "The editor is still starting.",
-			"error.binding_disconnected": "The editor window disconnected. Reconnect.",
 			"error.binding_expired": "The editor connection expired. Reconnect.",
 			"error.binding_closed": "The editor connection was closed. Reconnect.",
 			"error.internal_error": "The plugin failed: {message}",
@@ -83,7 +82,6 @@ window.__ModuleLoader__.load({
 			"error.desktop_port_in_use": "供 DSH Desktop 使用的编辑器端口已被占用：{message}。请在插件设置 desktopPort 中改用其他端口。",
 			"error.unknown_binding": "与此编辑器的连接已不存在。请重新连接。",
 			"error.not_ready": "编辑器仍在启动中。",
-			"error.binding_disconnected": "编辑器窗口已断开。请重新连接。",
 			"error.binding_expired": "与编辑器的连接已过期。请重新连接。",
 			"error.binding_closed": "与编辑器的连接已关闭。请重新连接。",
 			"error.internal_error": "插件出错：{message}",
@@ -128,7 +126,6 @@ window.__ModuleLoader__.load({
 			"error.desktop_port_in_use": "DSH Desktop 用のエディターのポートが使われています: {message}。プラグインの設定 desktopPort で別の番号にしてください。",
 			"error.unknown_binding": "このエディターとの接続はもうありません。再接続してください。",
 			"error.not_ready": "エディターはまだ起動中です。",
-			"error.binding_disconnected": "エディターの画面が切断されました。再接続してください。",
 			"error.binding_expired": "エディターとの接続が期限切れになりました。再接続してください。",
 			"error.binding_closed": "エディターとの接続が閉じられました。再接続してください。",
 			"error.internal_error": "プラグインでエラーが起きました: {message}",
@@ -185,7 +182,6 @@ window.__ModuleLoader__.load({
 				state: zod.z.enum([
 					"pending",
 					"ready",
-					"disconnected",
 					"expired",
 					"closed"
 				]),
@@ -201,7 +197,6 @@ window.__ModuleLoader__.load({
 		// src/client/session-bus.ts
 		/** After these the page must reconnect; files are never sent to another window. */
 		const FINAL_PHASES = /* @__PURE__ */ new Set([
-			"disconnected",
 			"expired",
 			"closed",
 			"error"
@@ -329,7 +324,6 @@ window.__ModuleLoader__.load({
 		/** After these, the binding is gone and the page must reconnect. */
 		const FINAL_ERRORS = /* @__PURE__ */ new Set([
 			"unknown_binding",
-			"binding_disconnected",
 			"binding_expired",
 			"binding_closed"
 		]);

package/dist/index.mjs

@@ -1,4 +1,4 @@
-import { chmod, mkdtemp, realpath, rm } from "node:fs/promises";
+import { chmod, mkdtemp, realpath, rm, stat } from "node:fs/promises";
 import { homedir, tmpdir } from "node:os";
 import { isAbsolute, join } from "node:path";
 import { fileURLToPath } from "node:url";
@@ -46,7 +46,6 @@ const HOST_ERROR_CODES = [
 	"desktop_port_in_use",
 	"unknown_binding",
 	"not_ready",
-	"binding_disconnected",
 	"binding_expired",
 	"binding_closed",
 	"internal_error"
@@ -82,7 +81,6 @@ z.strictObject({
 	state: z.enum([
 		"pending",
 		"ready",
-		"disconnected",
 		"expired",
 		"closed"
 	]),
@@ -196,7 +194,7 @@ var CodeServerError = class extends Error {
 	}
 };
 // src/host/bridge.ts
-/** An unclaimed binding expires this long after creation. */
+/** A binding without a window expires this long after it was created or lost its window. */
 const CONNECT_TIMEOUT_MS = 6e4;
 /** A binding expires this long after the page last watched it. */
 const LEASE_MS = 12e4;
@@ -206,7 +204,6 @@ const OPEN_TIMEOUT_MS = 15e3;
 const WATCH_MS = 2e4;
 const HELLO_TIMEOUT_MS = 5e3;
 const finalError = {
-	disconnected: "binding_disconnected",
 	expired: "binding_expired",
 	closed: "binding_closed"
 };
@@ -252,6 +249,7 @@ var Bridge = class Bridge {
 			reconnect: false,
 			announcedCwd: cwd,
 			leaseUntil: now + LEASE_MS,
+			peer: void 0,
 			opens: /* @__PURE__ */ new Map(),
 			watchers: /* @__PURE__ */ new Set()
 		};
@@ -375,16 +373,29 @@ var Bridge = class Bridge {
 		const deadline = binding.state === "pending" ? Math.min(binding.connectBy, binding.leaseUntil) : binding.leaseUntil;
 		binding.timer = setTimeout(() => this.#finish(binding, "expired"), deadline - Date.now());
 	}
-	/** Enter a final state once; the record stays for a lease so watches can read it. */
-	#finish(binding, state) {
-		if (binding.state !== "pending" && binding.state !== "ready") return;
-		binding.state = state;
+	/** Let go of the window: its unanswered requests have an unknown outcome. */
+	#detach(binding, reason) {
 		binding.peer?.destroy();
+		binding.peer = void 0;
 		for (const open of binding.opens.values()) {
 			clearTimeout(open.timer);
-			open.reject(new CodeServerError("outcome_unknown", `The binding was ${state} before the editor answered`));
+			open.reject(new CodeServerError("outcome_unknown", `${reason} before the editor answered`));
 		}
 		binding.opens.clear();
+	}
+	/** Wait for the window again, as for a new binding. */
+	#lose(binding) {
+		this.#detach(binding, "The editor window went away");
+		binding.state = "pending";
+		binding.connectBy = Date.now() + CONNECT_TIMEOUT_MS;
+		this.#schedule(binding);
+		this.#changed(binding);
+	}
+	/** Enter a final state once; the record stays for a lease so watches can read it. */
+	#finish(binding, state) {
+		if (binding.state !== "pending" && binding.state !== "ready") return;
+		binding.state = state;
+		this.#detach(binding, `The binding was ${state}`);
 		clearTimeout(binding.timer);
 		binding.timer = setTimeout(() => this.#bindings.delete(binding.id), LEASE_MS);
 		this.#changed(binding);
@@ -406,7 +417,7 @@ var Bridge = class Bridge {
 		socket.on("close", () => {
 			this.#sockets.delete(socket);
 			clearTimeout(helloTimer);
-			if (binding?.peer === socket) this.#finish(binding, "disconnected");
+			if (binding?.peer === socket) this.#lose(binding);
 		});
 		readFrames(socket, (value) => {
 			if (refused) return;
@@ -415,8 +426,9 @@ var Bridge = class Bridge {
 				const hello = helloSchema.safeParse(value);
 				if (!hello.success) return reject("invalid_hello", "Expected a hello frame");
 				const candidate = this.#bindings.get(hello.data.bindingId);
-				if (candidate?.state !== "pending") return reject("binding_unavailable", "The binding cannot be claimed");
+				if (candidate?.state !== "pending" && candidate?.state !== "ready") return reject("binding_unavailable", "The binding has ended");
 				if (candidate.cwd !== hello.data.cwd) return reject("cwd_mismatch", "The window opened another folder");
+				this.#detach(candidate, "Another window took over");
 				binding = candidate;
 				binding.peer = socket;
 				binding.state = "ready";
@@ -460,6 +472,11 @@ var CodeServer = class {
 	#starting;
 	#child;
 	#disposed = false;
+	/** The CLI with its directories, once resolved, to install the extension with. */
+	#cli;
+	/** The installed VSIX's modification time and size. */
+	#installed = "";
+	#installing = Promise.resolve();
 	/**
 	* @param extension - VSIX installed before every start.
 	* @param onStarted - called once per process; its disposer runs when the process exits.
@@ -479,6 +496,18 @@ var CodeServer = class {
 		});
 		return this.#starting;
 	}
+	/**
+	* Install the bundled extension again if its VSIX changed since it was
+	* installed, so that windows opened from now on run it. Only a linked
+	* development copy of the plugin changes while it runs.
+	*/
+	syncExtension() {
+		const installing = this.#installing.then(async () => {
+			if (this.#cli !== void 0) await this.#installExtension(this.#cli);
+		});
+		this.#installing = installing.catch(() => {});
+		return installing;
+	}
 	async dispose() {
 		this.#disposed = true;
 		const child = this.#child;
@@ -495,16 +524,12 @@ var CodeServer = class {
 			throw new CodeServerError("code_server_not_found", `Cannot find ${this.#options.command}`, { cause: error });
 		}
 		const directories = [...this.#options.userDataDir === void 0 ? [] : ["--user-data-dir", this.#options.userDataDir], ...this.#options.extensionsDir === void 0 ? [] : ["--extensions-dir", this.#options.extensionsDir]];
+		this.#cli = [command, ...directories];
 		const version = await this.#run([command, "--version"]);
 		const commit = /^\S+ ([0-9a-f]{40}) /.exec(version)?.[1];
 		if (commit === void 0) throw new CodeServerError("code_server_failed", `Unrecognized code-server version: ${version}`);
-		await this.#run([
-			command,
-			...directories,
-			"--install-extension",
-			this.#extension,
-			"--force"
-		]);
+		this.#installed = "";
+		await this.syncExtension();
 		await rm(this.#socketPath, { force: true });
 		if (this.#disposed) throw new CodeServerError("code_server_failed", "The plugin has stopped");
 		const child = this.#subprocess.spawn({
@@ -546,6 +571,18 @@ var CodeServer = class {
 		await waitUntilListening(this.#socketPath, child);
 		return running;
 	}
+	async #installExtension(cli) {
+		const { mtimeMs, size } = await stat(this.#extension);
+		const stamp = `${mtimeMs}:${size}`;
+		if (stamp === this.#installed) return;
+		await this.#run([
+			...cli,
+			"--install-extension",
+			this.#extension,
+			"--force"
+		]);
+		this.#installed = stamp;
+	}
 	/** Run a short code-server CLI command and return its stdout. */
 	async #run(argv) {
 		const child = this.#subprocess.spawn({
@@ -603,6 +640,7 @@ function rpcRoutes(services, bridge, codeServer, editors) {
 			const { cwd } = await sessionFolders(services, sessionId, signal);
 			const folder = await localPath(services, cwd, cwd, "directory", signal);
 			await codeServer.ensure();
+			await codeServer.syncExtension();
 			const base = await editors[ingress]();
 			signal.throwIfAborted();
 			const bindingId = bridge.create(sessionId, ownerId, folder);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@langify-org/dsh-code-server",
-  "version": "0.2.0",
+  "version": "0.2.2",
   "description": "Edit the session's working folder in code-server inside DeepSeek Harness, served through DSH's authenticated web server",
   "keywords": [
     "code-server",
@@ -83,7 +83,7 @@
     }
   },
   "scripts": {
-    "build": "tsdown && cd extension && vsce package --no-dependencies --skip-license --out dsh-code-bridge.vsix",
+    "build": "tsdown",
     "typecheck": "tsc -p src/client"
   }
 }