reset-file-pool1
Undefines and "frees" the oids in a framerd file pool
Usage
reset-file-pool filename
Overview
reset-file-pool resets the FramerD file pool in the file filename by deleting all of the existing OIDs and resetting the file pool's load so that they can be allocated again. Note that there is no way of telling if other pools or indices may still have pointers to some of these OIDs, so this command should never be used for publicly distributed file pools and should be used with caution on private pools.
Options
No options
Diagnostics
The program reports an error if filename does not exist or is not a file pool or if it cannot be (over) written.
Revision Info
$Id: reset-file-pool.1,v 1.3 2002/07/10 00:13:11 haase Exp $