Merge pull request #5 from spencerkit/v0.2.4

feat: refresh ops console UI

Author: pallyoung

apps/server/Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "coder-studio"
-version = "0.2.2"
+version = "0.2.4"
 edition = "2021"
 
 [dependencies]

apps/server/Cargo.toml

@@ -57,6 +57,7 @@ pub(crate) struct AppState {
     pub auth: Mutex<AuthRuntime>,
     pub agents: Mutex<HashMap<String, Arc<AgentRuntime>>>,
     pub terminals: Mutex<HashMap<String, Arc<TerminalRuntime>>>,
+    pub workspace_client_connections: Mutex<HashMap<String, usize>>,
     pub workspace_watches: Mutex<HashMap<String, WorkspaceWatch>>,
     pub workspace_watch_suppressions: Arc<Mutex<HashMap<String, WorkspaceWatchSuppression>>>,
     pub next_terminal_id: Mutex<u64>,
@@ -74,6 +75,7 @@ impl Default for AppState {
             auth: Mutex::new(AuthRuntime::default()),
             agents: Mutex::new(HashMap::new()),
             terminals: Mutex::new(HashMap::new()),
+            workspace_client_connections: Mutex::new(HashMap::new()),
             workspace_watches: Mutex::new(HashMap::new()),
             workspace_watch_suppressions: Arc::new(Mutex::new(HashMap::new())),
             next_terminal_id: Mutex::new(1),

apps/server/src/app.rs

@@ -1270,7 +1270,7 @@ fn normalized_allowed_roots(
     Ok(roots)
 }
 
-fn normalize_path_for_target(path: &str, target: &ExecTarget) -> Result<String, String> {
+pub(crate) fn normalize_path_for_target(path: &str, target: &ExecTarget) -> Result<String, String> {
     match target {
         ExecTarget::Native => normalize_native_path(path),
         ExecTarget::Wsl { .. } => normalize_wsl_path(path, target),
@@ -1316,7 +1316,7 @@ fn normalize_wsl_path(path: &str, target: &ExecTarget) -> Result<String, String>
     run_cmd(target, "", &["realpath", "-m", &resolved]).map(|value| value.trim().to_string())
 }
 
-fn path_within_root(path: &str, root: &str, target: &ExecTarget) -> bool {
+pub(crate) fn path_within_root(path: &str, root: &str, target: &ExecTarget) -> bool {
     let normalize = |value: &str| {
         let value = value.replace('\\', "/");
         let trimmed = value.trim_end_matches('/').to_string();