On Tue, May 14, 2019 at 1:49 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:> ... or a named pipe that performs arbitrary magic.
(Erm, that bit might not make much sense...)
-- Thomas Munrohttps://enterprisedb.com