This text was automatically converted from troff me macros to HTML. Information may have been lost, added, or changed in the process. Lars Aronsson and Lysator do not guarantee the correctness of this HTML document.
close *- close a portal
close [ portal_name ]
Close frees the resources associated with a portal, portal_name. After this portal is closed, no subsequent operations are allowed on it. A portal should be closed when it is no longer needed. If portal_name is not specified, then the blank portal is closed.
/* close the portal FOO */ close FOO
retrieve(commands), fetch(commands), move(commands).