Re: stats_temp_directory conflicts

2018-12-31 Thread Andrew Dunstan
On 12/30/18 11:06 PM, Noah Misch wrote: > On Sun, Dec 30, 2018 at 07:47:05PM -0500, Tom Lane wrote: >> Noah Misch writes: >>> I'm thinking the server should manage this; during startup, create >>> $stats_temp_directory/PostgreSQL.$postmaster_pid and store each stats file >>> therein. >> +1 >> >>

Re: stats_temp_directory conflicts

2018-12-30 Thread Noah Misch
On Sun, Dec 30, 2018 at 07:47:05PM -0500, Tom Lane wrote: > Noah Misch writes: > > I'm thinking the server should manage this; during startup, create > > $stats_temp_directory/PostgreSQL.$postmaster_pid and store each stats file > > therein. > > +1 > > > Just before creating that directory, scan

Re: stats_temp_directory conflicts

2018-12-30 Thread Tom Lane
Noah Misch writes: > I'm thinking the server should manage this; during startup, create > $stats_temp_directory/PostgreSQL.$postmaster_pid and store each stats file > therein. +1 > Just before creating that directory, scan $stats_temp_directory and > delete subdirectories that no longer correspo

stats_temp_directory conflicts

2018-12-30 Thread Noah Misch
On Sun, Dec 30, 2018 at 10:32:31AM -0500, Andrew Dunstan wrote: > On 12/30/18 12:53 AM, Noah Misch wrote: > > stats_temp_directory = '/cygdrive/w/lorikeet/HEAD' > > 2. stats_temp_directory is incompatible with TAP suites that start more than > >one node simultaneously. > > It's already a pro