]> git.ipfire.org Git - thirdparty/grub.git/commit
net/ip: check result of grub_netbuff_push
authorAndrei Borzenkov <arvidjaar@gmail.com>
Fri, 30 Jan 2015 19:09:51 +0000 (22:09 +0300)
committerAndrei Borzenkov <arvidjaar@gmail.com>
Fri, 30 Jan 2015 19:09:51 +0000 (22:09 +0300)
commitb40fde29a446d9fa5a6ebea7aafb34e3c958afbb
tree718c4e19cf5d9a70674d3c82ad969a51dc4051b2
parent1e047e53aeb684a3a21a4269a99c708c381b96b5
net/ip: check result of grub_netbuff_push

Found by: Coverity scan.
grub-core/net/ip.c