649
647
add_sh_redirection(gdb_redirection, tty_name, args);
653
654
break; // No redirection in JDB
656
660
break; // No redirection in PYDB (for now)
663
667
new_args = gdb_redirection;
665
669
new_args = gdb_redirection + " " + args;
669
673
gdb_out_ignore = " " + gdb_redirection;