diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-01-17 15:13:35 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-01-17 16:33:44 +0100 |
| commit | 3315b164cbab851cbcf8dd9b2c0ac50cd913c94e (patch) | |
| tree | 5677900fd53cdca809b4b6195fd92e247484bd4e /executor/executor_windows.h | |
| parent | aedf5331532b3e25e24f8275ddf53f6905199201 (diff) | |
dashboard: don't use the email sink directly
Use the pollEmailBug() helper instead, which first checks if the channel
is non-empty. Otherwise we can end up forever waiting on a channel.
Diffstat (limited to 'executor/executor_windows.h')
0 files changed, 0 insertions, 0 deletions