1
0
mirror of https://github.com/postgres/postgres.git synced 2025-11-10 17:42:29 +03:00

Fix for indexing problems.

This commit is contained in:
Bruce Momjian
1998-09-02 23:05:37 +00:00
parent 557d295b84
commit 58fdae0ddf
7 changed files with 15 additions and 33 deletions

View File

@@ -81,8 +81,6 @@ static char *opt_names[] = {
*/
int pg_options[NUM_PG_OPTIONS] = {0};
static int openlog_done = 0;
/*
* Print a timestamp and a message to stdout if the trace flag
* indexed by the flag value is set.