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

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分待ちます。
 
 ## セキュリティ
 
@@ -59,7 +59,8 @@ code-server とそのターミナル・拡張は、あなたの権限で、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
 
@@ -59,7 +59,8 @@ These need a browser and a real code-server, so they are not part of `pnpm check
 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；页面最多等待一分钟。
 
 ## 安全
 
@@ -59,7 +59,8 @@ code-server 及其终端和扩展以你的身份运行，不受 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

@@ -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";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@langify-org/dsh-code-server",
-  "version": "0.2.0",
+  "version": "0.2.1",
   "description": "Edit the session's working folder in code-server inside DeepSeek Harness, served through DSH's authenticated web server",
   "keywords": [
     "code-server",