feat(web): implement new server management for web and desktop (#8513)

This commit is contained in:
OpeOginni 2026-01-24 19:03:36 +01:00 committed by GitHub
commit 67ea21b55a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
25 changed files with 1103 additions and 359 deletions

View file

@ -43,7 +43,6 @@ uuid = { version = "1.19.0", features = ["v4"] }
tauri-plugin-decorum = "1.1.1"
comrak = { version = "0.50", default-features = false }
[target.'cfg(target_os = "linux")'.dependencies]
gtk = "0.18.2"
webkit2gtk = "=2.0.1"

View file

@ -525,4 +525,4 @@ async fn spawn_local_server(
break Ok(child);
}
}
}
}

View file

@ -417,4 +417,4 @@ function ServerGate(props: { children: (data: Accessor<ServerReadyData>) => JSX.
</div>
</Show>
)
}
}