(pidArg: string)
| 843 | } |
| 844 | |
| 845 | export async function cleanupSession(pidArg: string): Promise<void> { |
| 846 | if (pid === pidArg) { |
| 847 | if (sessionStatusBarItem) { |
| 848 | sessionStatusBarItem.text = 'R: (not attached)'; |
| 849 | sessionStatusBarItem.tooltip = 'Click to attach active terminal.'; |
| 850 | } |
| 851 | server = undefined; |
| 852 | workspaceData.globalenv = {}; |
| 853 | workspaceData.loaded_namespaces = []; |
| 854 | workspaceData.search = []; |
| 855 | rWorkspace?.refresh(); |
| 856 | removeSessionFiles(); |
| 857 | await setContext('rSessionActive', false); |
| 858 | } |
| 859 | } |
| 860 | |
| 861 | async function watchProcess(pid: string): Promise<string> { |
| 862 | function pidIsRunning(pid: number) { |
no test coverage detected