Update

intitni · intitni · commit 5109e7f49728 · 2024-01-07T02:36:43.000+08:00
diff --git a/Core/Sources/Service/ScheduledCleaner.swift b/Core/Sources/Service/ScheduledCleaner.swift
@@ -59,7 +59,7 @@ public final class ScheduledCleaner {
                     )
                 }.result
                 await workspace.cleanUp(availableTabs: [])
-                service.workspacePool.removeWorkspace(url: url)
+                await service.workspacePool.removeWorkspace(url: url)
             } else {
                 let tabs = (workspaceInfos[.url(url)]?.tabs ?? [])
                     .union(workspaceInfos[.unknown]?.tabs ?? [])
diff --git a/Pro b/Pro
@@ -1 +1 @@
-Subproject commit eeae9b4db95f933414aa863cade986315ab4a773
+Subproject commit 9a3cbb55f1608808040e5eada42a3dc08ec82428
diff --git a/Tool/Sources/Workspace/WorkspacePool.swift b/Tool/Sources/Workspace/WorkspacePool.swift
@@ -140,6 +140,7 @@ public class WorkspacePool {
         return (workspace, filespace)
     }
     
+    @WorkspaceActor
     public func removeWorkspace(url: URL) {
         workspaces[url] = nil
     }

Original file line number	Diff line number	Diff line change
`@@ -59,7 +59,7 @@ public final class ScheduledCleaner {`
`59`	`59`	`)`
`60`	`60`	`}.result`
`61`	`61`	`await workspace.cleanUp(availableTabs: [])`
`62`		`- service.workspacePool.removeWorkspace(url: url)`
	`62`	`+ await service.workspacePool.removeWorkspace(url: url)`
`63`	`63`	`} else {`
`64`	`64`	`let tabs = (workspaceInfos[.url(url)]?.tabs ?? [])`
`65`	`65`	`.union(workspaceInfos[.unknown]?.tabs ?? [])`
Original file line number	Diff line number	Diff line change
`@@ -140,6 +140,7 @@ public class WorkspacePool {`
`140`	`140`	`return (workspace, filespace)`
`141`	`141`	`}`
`142`	`142`
	`143`	`+ @WorkspaceActor`
`143`	`144`	`public func removeWorkspace(url: URL) {`
`144`	`145`	`workspaces[url] = nil`
`145`	`146`	`}`