()
| 130 | } |
| 131 | |
| 132 | changeWorkspaceRoot() { |
| 133 | setOrChangeWorkspace() |
| 134 | .then(workspaceName => { |
| 135 | if (workspaceName === undefined) return; |
| 136 | window.showInformationMessage(`Success! '${workspaceName}' workspace is now root of Live Server`); |
| 137 | // If server is running, Turn off the server. |
| 138 | if (this.IsServerRunning) |
| 139 | this.GoOffline(); |
| 140 | }); |
| 141 | } |
| 142 | |
| 143 | |
| 144 | private isCorrectWorkspace(workspacePath: string) { |
no test coverage detected