In my understanding, the current erlexec throws away the queued inputs in stdin_queue and closes stdin immediately after eof comes. However, the library user sent eof to the erlexec's process after he/she sent the queued inputs. Therefore, I believe stdin should be closed after all the queued inputs are consumed. I implemented this behavior in this PR.
In my understanding, the current erlexec throws away the queued inputs in
stdin_queueand closes stdin immediately aftereofcomes. However, the library user senteofto the erlexec's process after he/she sent the queued inputs. Therefore, I believe stdin should be closed after all the queued inputs are consumed. I implemented this behavior in this PR.