← All compilation units

Flyology.Postgres.Client_Sockets

Description

Convenience operations for cancelling socket-backed client sessions.

Cancel

procedure Cancel
  (Item    : Client.Session;
   Server  : Flyology.IO.Sockets.Endpoint;
   Timeout : Duration := 30.0)

Open a separate socket, send Item's stored cancellation credentials, and close it without waiting for a response, as required by PostgreSQL.

Parameters
Item

Active session whose backend key data is sent.

Server

Endpoint of the same PostgreSQL server.

Timeout

Maximum time allowed to connect and send the packet.

Cancel_TLS

procedure Cancel_TLS
  (Item        : Client.Session;
   Server      : Flyology.IO.Sockets.Endpoint;
   Backend     : in out Flyology.IO.TLS.Provider'Class;
   Server_Name : String;
   Timeout     : Duration := 30.0)

Open a separate socket, require TLS with the same verification name, send Item's cancellation credentials, and close without reading.

Parameters
Item

Active session whose backend key data is sent.

Server

Endpoint of the same PostgreSQL server.

Backend

TLS provider and trust configuration to use.

Server_Name

DNS name checked during certificate verification.

Timeout

Maximum time allowed to connect, negotiate, and send.