On Wed, May 31, 2017 at 8:18 PM, Andres Freund <and...@anarazel.de> wrote:
> On 2017-05-31 18:22:18 +0200, Magnus Hagander wrote: > > However, the client can't access the pid of the server as it is now, > > and its the client that has to create the name. > > I don't think that's actually true? Doesn't the wire protocol always > include the PID, which is then exposed with PQbackendPID()? > Oh, you're right. Well, that makes the fix a lot simpler. Will fix in a minute. -- Magnus Hagander Me: https://www.hagander.net/ <http://www.hagander.net/> Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>
