mirror of
https://github.com/servo/servo.git
synced 2025-09-27 23:30:08 +01:00
Auto merge of #14110 - servo:ejpbruel-ws, r=metajack
Replace rust-websocket with ws-rs in the debugger server. <!-- Reviewable:start --> This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/14110) <!-- Reviewable:end -->
This commit is contained in:
commit
04e2af0b22
9 changed files with 239 additions and 45 deletions
|
@ -8,7 +8,7 @@ check-ordered-json-keys = [
|
|||
|
||||
[ignore]
|
||||
# Ignored packages with duplicated versions
|
||||
packages = ["lazy_static"]
|
||||
packages = ["bitflags", "lazy_static"]
|
||||
# Files that are ignored for all tidy and lint checks.
|
||||
files = [
|
||||
# Generated and upstream code combined with our own. Could use cleanup
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue