/* Close the file, which should send an EOF to the child process
that is receiving the message. Wait for it to finish, without a timeout. */
/* Close the file, which should send an EOF to the child process
that is receiving the message. Wait for it to finish, without a timeout. */