| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| escales | ||
| manifeste | ||
| semaphore | ||
| tasks | ||
| tide-table | ||
| ui | ||
| .gitignore | ||
| DESIGN.md | ||
| PRODUCT.md | ||
| README.md | ||
| serve.py |
copyfile() threw BrokenPipeError/ConnectionResetError (Errno 104) when a browser aborts/seeks a Range request mid-stream — normal for <audio> scrubbing, but it spammed a traceback. Wrap both copy branches and close the file handle in a finally. Verified: mid-stream abort leaves no traceback and the server keeps serving (206 follow-up OK).
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| escales | Loading commit data... | |
| manifeste | Loading commit data... | |
| semaphore | Loading commit data... | |
| tasks | Loading commit data... | |
| tide-table | Loading commit data... | |
| ui | Loading commit data... | |
| .gitignore | Loading commit data... | |
| DESIGN.md | Loading commit data... | |
| PRODUCT.md | Loading commit data... | |
| README.md | Loading commit data... | |
| serve.py | Loading commit data... |