diff options
| author | Christopher Baines <mail@cbaines.net> | 2021-05-16 20:54:07 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2021-05-16 20:54:07 +0100 |
| commit | da0ee9dff0a730b06e9acb4611099f6174793e49 (patch) | |
| tree | 3c6ab93a7137532371c0b8e4411241d57dc76a64 /configure.ac | |
| parent | 2a4b16f5e4c46edf9e507e54b4b5d1430deed72d (diff) | |
| download | data-service-da0ee9dff0a730b06e9acb4611099f6174793e49.tar data-service-da0ee9dff0a730b06e9acb4611099f6174793e49.tar.gz | |
Use filter-map rather than filter and map when processing linters
I guess this is a good change in general, but this seems to avoid a long
stack, which when a linter crashes, and the inferior tries to return the
exception details, and apparently hang the inferior/client as the reply isn't
written/read.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions