This commit is contained in:
Timothy Jaeryang Baek
2026-07-27 03:09:25 -04:00
parent bb928b0dfe
commit 9707d3a5c2
5 changed files with 12 additions and 11 deletions
@@ -110,6 +110,7 @@
// Clear selected direct terminal if user lost permission
$: if (
$selectedTerminalId &&
$terminalServers !== null &&
!($terminalServers ?? []).some((t) => t.id && t.id === $selectedTerminalId) &&
!($user?.role === 'admin' || ($user?.permissions?.features?.direct_tool_servers ?? true))
) {