diff options
| author | Hugo Herbelin | 2017-11-05 10:58:03 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2017-11-05 10:58:03 +0100 |
| commit | 1f7a49374aa2e7a67d1326d02d0d6fb519427ee3 (patch) | |
| tree | bd0a73163e69ad7425545b496bcb234bdf300686 /kernel | |
| parent | 0b2e6fe634da336ed34dec93072e847a1736afd2 (diff) | |
Preventively protect locally against failures of evar_map printer.
It is not clear that this is really needed, but in case it happens,
one will at least have a partial result available rather than an
unexploitable global failure of the parser.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions