mirror of
https://github.com/curl/curl.git
synced 2026-08-03 14:30:29 +03:00
tidy-up: miscellaneous
- badwords: replace stray synonyms with 'null-terminator'. - tests/FILEFORMAT.md: tidy up feature descriptions. - printf: replace stray `%i` masks with `%d` for consistency. - pytest: add comments for empty excepts to try silencing GitHub CodeQL warnings. - tool1394, unit1675: merge nested `if`s. - dnscache: fix typo in comment. - fix whitespace, indent and newlines. Closes #21921
This commit is contained in:
parent
849317ff5c
commit
952b04474c
31 changed files with 90 additions and 90 deletions
|
|
@ -37,6 +37,7 @@ async def echo(websocket):
|
|||
async for message in websocket:
|
||||
await websocket.send(message)
|
||||
except ConnectionClosedError:
|
||||
# websocket connection closed by client
|
||||
pass
|
||||
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue