Re: [PATCH] vsh: Allow vshReadlineInit() to be called multiple times