92f6ea962c
be used alongside -D, but as this was not documented I thought it was a bug and "fixed" -e's behavior locally (so I got the correct output before, but nobody else). Also, fix a race condition that could cause the SSH server to not be killed if the pid file was not written before the kill, which might happen on very fast machines. There still may be a problem when trying to do the connection if the server has not yet finished initialization... |
||
---|---|---|
.. | ||
atf | ||
fs | ||
games | ||
net | ||
util | ||
Atffile | ||
Makefile |