On Fri, Mar 14, 2008 at 08:06:20AM +0000, Pedro Alves wrote: > 2008-03-14 Pedro Alves <pedro@codesourcery.com> > > * infcmd.c (jump_command): Postpone disabling stdin until after > the possible query. OK. -- Daniel Jacobowitz CodeSourcery