FILE_DONT_CLOSE  8672 src/w32.c            if ((fd_info[fd].flags & FILE_DONT_CLOSE) == 0
FILE_DONT_CLOSE  8693 src/w32.c      	  fd_info[fd].flags = FILE_DONT_CLOSE;
FILE_DONT_CLOSE  11145 src/w32.c        fd_info[ infd ].flags |= FILE_DONT_CLOSE;
FILE_DONT_CLOSE  1290 src/w32proc.c    if ((fd_info[fd].flags & FILE_DONT_CLOSE) == FILE_DONT_CLOSE)
FILE_DONT_CLOSE  1297 src/w32proc.c  	  if (fd_info[fd].flags == FILE_DONT_CLOSE)