diff options
| author | Carl Hetherington <cth@carlh.net> | 2021-04-20 12:26:06 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2021-04-21 00:52:07 +0200 |
| commit | f61acf7791b17d446f8953ca261092d4fb878d37 (patch) | |
| tree | f5ebcc0c43d5ad28e8cd1c291034b0d793383c9a /platform/linux/wscript | |
| parent | fd130fc0b0c7421c7b1af613ff1f31ba3fc4f03b (diff) | |
Tidy up/fix Hints thread in a couple of ways:
- catch all exceptions from anywhere in the thread, rather than
just from parts of it
- stop the thread immediately when _stop is set to true; we don't
care about the results so there's no point carrying on
Diffstat (limited to 'platform/linux/wscript')
0 files changed, 0 insertions, 0 deletions