I have double-checked and this fd is the other end of a socketpair
that the server closes immediately after it reads our byte, so this is
indeed purely a harmless leak.
Closes: #864876
Reported-by: Ben Harris <bjh21@cam.ac.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
if (r!=1) serv_syscallfail("write synch byte to parent");
r= synchread(synchsocket[1],'g');
if (r) serv_syscallfail("reach synch byte from parent");
+ if (close(synchsocket[1])) serv_syscallfail("close our synch socket");
if (close(clientfd)) serv_syscallfail("close client socket fd");