DataMuseum.dk

top - download

    Length: 1237 (0x4d5)
    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 Analyze_Tombstone
             (Tombstone_Name : String := "r1000_dump1";
              Upload_From_Dfs : Boolean := True;
              Output_File : String := "!Machine.Error_Logs.Crash_Summary";
              Working_Directory : String := "!Machine.Temporary.Crash_Info");

-- Each time an r1000 crashes a file is created in the dfs area containing
-- information about the machine at the time of the crash.

-- This procedure will analyze a tombstone file and write the information
-- to the file specified.

-- TOMBSTONE_NAME - the name of the file containing the tombstone info.
-- if UPLOAD_FROM_DFS is true this procedure will first bring the file up
-- from the dfs area in put it into the file specified by TOMBSTONE_NAME.
-- IF UPLOAD_FROM_DFS is false this procedure will assume the file was already
-- uploaded.

-- If TOMBSTONE_NAME is a simple file name this procedure will first look for
-- it in the current context. If not found there  it will look in the
-- directory specified by WORKING_DIRECTORY.
-- If TOMBSTONE_NAME is a fully qualified pathname it will that.

-- OUTPUT_FILE specifies the destination for the analysis of the tombstone.
-- If OUTPUT_FILE is nil the output will goto the users terminal.