USER_END for ssh?

[Rob Myers]

should there be a corresponding USER_END message for every USER_START
message?

i do not see any messages indicating the end of an ssh session, but the
messages i expect are shown at the start of an ssh session.

thanks for any pointers.

rob.