diff options
author | Tom Gundersen <teg@jklm.no> | 2014-09-17 19:53:01 +0200 |
---|---|---|
committer | Anthony G. Basile <blueness@gentoo.org> | 2014-09-17 20:23:00 -0400 |
commit | dad4b71c8a0d91724d646c90dca6b64c482cf739 (patch) | |
tree | 39b46c30f82af932889be7dca4532922227d9950 /src/shared | |
parent | 744749bd2e6241929d028cab74c024019ba2cb14 (diff) |
udev: rules - close empty file
If the file is found to be empty, we exit early without closing the file first.
Found by coverity. Fixes CID #1237759.
Signed-off-by: Anthony G. Basile <blueness@gentoo.org>
Diffstat (limited to 'src/shared')
0 files changed, 0 insertions, 0 deletions