close-input-port

Name

close-input-port -- Close an input port

Type: function

Synopsis

close-input-port( port, );

Arguments

port

An instance of <input-port>

Description

This function closes the input port given as argument.