DataMuseum.dk

top - metrics - download

    Length: 1033 (0x409)
    Types: TextFile
    Names: »B«

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

TextFile

with Operator;
with Log;
with Time_Utilities;
with Calendar;
with Profile;

procedure Schedule_Shutdown (At_Time     : String := "23:59";
                             Reason      : String := "COPS";
                             Explanation : String := "Cause not entered") is
    use Time_Utilities;
    T : Time;

    function Time_Ok return Boolean is
        use Calendar;
    begin
        if Convert_Time (T) < Clock then
            return False;
        else
            return True;
        end if;
    end Time_Ok;
begin
    T := Value (At_Time);
    if Time_Ok then
        Operator.Shutdown_Warning (Interval => Duration_Until (T));
        Operator.Show_Shutdown_Settings;
        Operator.Shutdown (Reason => Reason, Explanation => Explanation);
    else
        Log.Put_Line ("ERROR - Specification of a past time not allowed.");
    end if;
exception
    when others =>
        Log.Put_Line
           ("ERROR - Illegal Date/Time.  Use YR/MO/DA HR:MIN:SEC form.",
            Profile.Error_Msg);
end Schedule_Shutdown;