DataMuseum.dk

top - download

    Length: 1045 (0x415)
    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

with Transport;
with Transport_Defs;

package Transport_Server_Job is

    generic
        Network : Transport_Defs.Network_Name;
        Local_Socket : Transport_Defs.Socket_Id;
        -- Where to wait for incoming calls.

        with procedure Server_Start;
        -- Start another server job running.

        with procedure Serve (Connection : Transport.Connection_Id);
        -- Process incoming requests from the Connection.

    procedure Server_Generic;
    -- Be a server, that is:
    -- Wait for an incoming connection on the given Network & Local_Socket.
    -- When a connection arrives, execute Server_Start; Serve (Connection).
    -- Repeat this process until the Local_Socket is in use, then return.


    procedure Change_Identity (Username, Password : String);
    -- Call Program.Change_Identity (Username, Password).
    -- That is, set the calling job's access control identity
    -- to the given Username.  If this fails, then raise
    -- Rpc.Username_or_Password_Error.  Otherwise return.

end Transport_Server_Job;