blob: 564d57be07c90eece77cb6ecae3f9d82d493bf14 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
# DEALLOCATE -- Deallocate a device. The real work is done by the hidden CL
# _deallocate task, but we provide a script interface as well to provide
# scope for machine dependent additions.
procedure deallocate (device)
string device { prompt = "device to be deallocated" }
bool rewind = yes
begin
_deallocate (device, rewind)
end
|
