More lint

kriszyp · kriszyp · commit ec7d3156325d · 2026-04-24T11:44:24.000-06:00
diff --git a/server/threads/manageThreads.js b/server/threads/manageThreads.js
@@ -546,7 +546,7 @@ function removePort(port, deadThreadId) {
 		for (let remainingPort of connectedPorts) {
 			try {
 				remainingPort.postMessage({ type: REMOVE_PORT, threadId: deadThreadId });
-			} catch (e) {
+			} catch {
 				// port may already be dead; ignore
 			}
 		}

Original file line number	Diff line number	Diff line change
`@@ -546,7 +546,7 @@ function removePort(port, deadThreadId) {`
`546`	`546`	`for (let remainingPort of connectedPorts) {`
`547`	`547`	`try {`
`548`	`548`	`remainingPort.postMessage({ type: REMOVE_PORT, threadId: deadThreadId });`
`549`		`- } catch (e) {`
	`549`	`+ } catch {`
`550`	`550`	`// port may already be dead; ignore`
`551`	`551`	`}`
`552`	`552`	`}`