⟦c877a0c61⟧

E3 Source Code



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.
DataMuseum.dk

Rational R1000/400

⟦c877a0c61⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
