fix: close websocket when switching pages #318
jiegecAnnotations
4 warnings
|
build:
server/src/github_webhooks.rs#L5
field `comment` is never read
|
|
build:
server/src/github_webhooks.rs#L10
fields `issue_url`, `user`, and `body` are never read
|
|
build:
server/src/github_webhooks.rs#L17
field `login` is never read
|
|
build:
server/src/routes/mod.rs#L36
field `remote_addr` is never read
|