|
@@ -38,11 +38,7 @@ type TerminalCacheEntry = {
|
|
|
|
|
|
|
|
const caches = new Set<Map<string, TerminalCacheEntry>>()
|
|
const caches = new Set<Map<string, TerminalCacheEntry>>()
|
|
|
|
|
|
|
|
-export function clearWorkspaceTerminals(
|
|
|
|
|
- dir: string,
|
|
|
|
|
- sessionIDs?: string[],
|
|
|
|
|
- platform?: Platform,
|
|
|
|
|
-) {
|
|
|
|
|
|
|
+export function clearWorkspaceTerminals(dir: string, sessionIDs?: string[], platform?: Platform) {
|
|
|
const key = getWorkspaceTerminalCacheKey(dir)
|
|
const key = getWorkspaceTerminalCacheKey(dir)
|
|
|
for (const cache of caches) {
|
|
for (const cache of caches) {
|
|
|
const entry = cache.get(key)
|
|
const entry = cache.get(key)
|