Reload Debouncing #105

Merged
cswimr merged 3 commits from hotreload/debounce into main 2025-06-16 05:32:53 -04:00
Owner

Reload Debouncing

This PR implements debouncing to HotReload, fixing some edge cases where a file is saved multiple times in a short period, breaking cog reloading.

# Reload Debouncing This PR implements debouncing to HotReload, fixing some edge cases where a file is saved multiple times in a short period, breaking cog reloading. <!-- Create a new issue, if it doesn't exist yet --> - [x] By submitting this pull request, I permit [cswimr](https://c.csw.im/cswimr) to license my work under the [Mozilla Public License Version 2.0](https://c.csw.im/cswimr/SeaCogs/src/branch/main/LICENSE).
cswimr self-assigned this 2025-06-16 05:30:00 -04:00
hotreload: make debounce work properly
Some checks failed
Actions / Lint Code (Ruff & Pylint) (pull_request) Failing after 44s
Actions / Build Documentation (MkDocs) (pull_request) Successful in 56s
5ca94c21ae
pylint fix
All checks were successful
Actions / Build Documentation (MkDocs) (pull_request) Successful in 29s
Actions / Lint Code (Ruff & Pylint) (pull_request) Successful in 31s
74d7e6335e
cswimr merged commit 378d4e3ced into main 2025-06-16 05:32:53 -04:00
cswimr deleted branch hotreload/debounce 2025-06-16 05:32:53 -04:00
cswimr referenced this pull request from a commit 2025-06-16 05:32:54 -04:00
Sign in to join this conversation.
No description provided.