index df884bd684b6f4cbf0a2ab9cdecd6da28f738f60..6def748ae81f796e2053e520a5718d6dd7f3d7f3 100644 (file)
* because it is being used by another process." so we have to send all
* other output to 'nul'. Therefore, we set this to DEVNULL on Win32, and
* it equals 'filename' on all other platforms.
+ *
+ * We could use the Windows pgwin32_open() flags to allow shared file
+ * writes but is unclear how all other tools would use those flags, so
+ * we just avoid it and log a little less on Windows.
*/
char *filename2;
FILE *fd; /* log FILE */