Skip to content

fix: use async setInterval() for periodic restart attempts#204

Merged
mszabo-wikia merged 1 commit intomasterfrom
fix-interval
Mar 27, 2026
Merged

fix: use async setInterval() for periodic restart attempts#204
mszabo-wikia merged 1 commit intomasterfrom
fix-interval

Conversation

@mszabo-wikia
Copy link
Copy Markdown
Contributor

We currently use setInterval to try to periodically restart the Hack language server, but this doesn't handle async callbacks without extra coordination. Use Node's promise-based setInterval instead.

We currently use `setInterval` to try to periodically restart
the Hack language server, but this doesn't handle async callbacks
without extra coordination. Use Node's promise-based `setInterval`
instead.
@mszabo-wikia mszabo-wikia merged commit 89627fb into master Mar 27, 2026
5 checks passed
@mszabo-wikia mszabo-wikia deleted the fix-interval branch March 27, 2026 20:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants