Re: USER_END for ssh?