\(\renewcommand{\AA}{\text{Å}}\)

undump command

Syntax

undump dump-ID

• dump-ID = ID of previously defined dump

Examples

undump mine
undump 2

Description

Turn off a previously defined dump so that it is no longer active. This closes the file associated with the dump.

Restrictions

none

Related commands

dump

Default

none