diff options
author | Lennart Poettering <lennart@poettering.net> | 2016-06-24 15:59:42 +0200 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2016-06-24 15:59:44 +0200 |
commit | 5816a84352e19492df61036d26eff0eb00f2d8c0 (patch) | |
tree | 8428df38d3d8e6bebf43c3e91f34a62f9cf65edf /man/bootup.xml | |
parent | 2b40998d3c02ff4097373150cb47776ced0be315 (diff) |
machined: don't bother explicitly closing the errno pipe
There's no point in explicitly closing the errno pipe, if we exit right after
anyway. It doesn't hurt doing this either, but let's do this the same way for
all cases where we use the "Operation" object right now, and in all other cases
we do not close the pipe explicitly, hence don't do so here either.
Diffstat (limited to 'man/bootup.xml')
0 files changed, 0 insertions, 0 deletions