make-super-pool1
Creates a framerd super pool
Usage
make-super-pool filename
[base-oid]
[initial-load]
Overview
make-super-pool creates a new FramerD super pool from which file pools may be allocated. The new super pool is created in the file filename If the parameter base-oid is provided, it should be an OID whose low order word should be zero. If it is not provided, a base OID is identified at random. The parameter initial-oid if specified, indicates a number of OIDs to reserve at the head of the super pool.
Options
No options
Diagnostics
The program reports an error if filename cannot be written or if the other parameters are improper.
Revision Info
$Id: make-super-pool.1,v 1.1 2002/07/10 00:13:11 haase Exp $