Re: Start of `>' and `>>' commands

[Andrew Cagney <ac131313@cygnus.com>]

> +/* If we've pushed output files, close them and pop them.  */
> +static void
> +pop_output_files ()
> +{
> +  if (saved_stdout != NULL)
> +    {
> +      /* Only delete one of the files -- they are all set to the same
> +	 value.  */
> +      ui_file_delete (gdb_stdout);
> +      gdb_stdout = saved_stdout;
> +      gdb_stderr = saved_stderr;
> +      gdb_stdlog = saved_stdlog;
> +      gdb_stdtarg = saved_stdtarg;
> +      saved_stdout = NULL;
> +      saved_stderr = NULL;
> +      saved_stdlog = NULL;
> +      saved_stdtarg = NULL;
> +    }
> +}


For what it is worth, this sort of thing is certainly on the right track.

Andrew