Skip to content

Conversation

@mafredri
Copy link
Member

@mafredri mafredri commented Dec 4, 2025

Previously, when a devcontainer config file was modified, the dirty status was updated internally but not broadcast to websocket listeners. This meant the UI would not show the dirty indicator until some other event triggered a broadcast (e.g., container restart).

Add broadcastUpdatesLocked() call in markDevcontainerDirty to notify websocket listeners immediately when a config file changes.

…websocket

Previously, when a devcontainer config file was modified, the dirty
status was updated internally but not broadcast to websocket listeners.
This meant the UI would not show the dirty indicator until some other
event triggered a broadcast (e.g., container restart or updater loop).

Add broadcastUpdatesLocked() call in markDevcontainerDirty to notify
websocket listeners immediately when a config file changes.
@mafredri mafredri force-pushed the mafredri/fix-devcontainer-dirty-broadcast branch from 9d45fdb to 9a7d18a Compare December 4, 2025 12:59
@mafredri mafredri merged commit d915910 into main Dec 4, 2025
32 checks passed
@mafredri mafredri deleted the mafredri/fix-devcontainer-dirty-broadcast branch December 4, 2025 14:11
@github-actions github-actions bot locked and limited conversation to collaborators Dec 4, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants