Setting statistic options from SET PG_OPTIONS caused a backend crash
because StatFp never got set in that case. Set it immediately before use to eliminate such problems.
Please register or sign in to comment
because StatFp never got set in that case. Set it immediately before use to eliminate such problems.