DataMuseum.dk

top - metrics - download

    Length: 1356 (0x54c)
    Types: TextFile
    Names: »V«

└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦a5bbbb819⟧ 
                └─⟦this⟧ 
└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦eec0a994f⟧ 
                └─⟦this⟧ 

TextFile

procedure Repair_Directory (Directory : String := "<IMAGE>";
                            Response  : String := "<PROFILE>");
-- Previous releases of the directory system code contained bugs that
-- could corrupt the internal structures used to represent directories in
-- the system.  This procedure will traverse the representations of the
-- directories named by the Directory parameter, checking for any
-- anomalies.  If an anomaly is found, the procedure will attempt to
-- repair it.

-- The only anomalies detected by Repair_Directory are objects that are
-- no longer accessible by name or are not deletable by normal means.
-- The mode of repair is to destroy these objects and remove from the
-- internal representation any history of their existence.  Once the
-- repair is complete, the directory will be useable again as if nothing
-- ever happened; the objects that were damanged, however, will no longer
-- be accessible.

-- REMOVE VALUABLE DATA FROM THE DIRECTORY BEFORE RUNNING THIS COMMAND.
-- (You can put it back afterwards.)  While we believe that the analysis
-- performed by this procedure will not cause good data to be destroyed,
-- we cannot account for all possible ways a previous release (or this
-- one) may fail.

-- USE THIS PROCEDURE AS A LAST RESORT; IT CAN ONLY DESTROY DATA THAT
-- CANNOT BE DESTROYED BY OTHER MEANS.