diff options
| author | Christian Duerr <contact@christianduerr.com> | 2024-05-03 22:20:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-03 20:20:45 +0000 |
| commit | a77f77c48fca298caab3a4834b2d7ab1a98cae88 (patch) | |
| tree | 308699bf8619487597307d22b699d642f632b80d /src/git:/git.josher.dev | |
| parent | 82f41ed65ce0d3207d56d6877fd0ed898d7dce0c (diff) | |
| download | r-alacritty-a77f77c48fca298caab3a4834b2d7ab1a98cae88.tar.gz r-alacritty-a77f77c48fca298caab3a4834b2d7ab1a98cae88.tar.bz2 r-alacritty-a77f77c48fca298caab3a4834b2d7ab1a98cae88.zip | |
Fix shutdown of config monitor
This implements a coordinated shutdown of the config monitor by sending
an event to its thread and waiting for the thread to terminate.
Diffstat (limited to 'src/git:/git.josher.dev')
0 files changed, 0 insertions, 0 deletions