make the REPL input port have a name

closes PR 14879