diff options
| author | Bruce Momjian <bruce@momjian.us> | 1998-09-02 23:05:37 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1998-09-02 23:05:37 +0000 |
| commit | 58fdae0ddfb802615f20548c5fe863661028ed31 (patch) | |
| tree | 3713beb84db5fdd2bb40aa67feb0f92f0a5d62f0 /src/backend/utils/misc/trace.c | |
| parent | 557d295b84a147f5d4ffdca38756763ef77c56a5 (diff) | |
Fix for indexing problems.
Diffstat (limited to 'src/backend/utils/misc/trace.c')
| -rw-r--r-- | src/backend/utils/misc/trace.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/backend/utils/misc/trace.c b/src/backend/utils/misc/trace.c index 291bff798cd..527f041e098 100644 --- a/src/backend/utils/misc/trace.c +++ b/src/backend/utils/misc/trace.c @@ -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. |