diff options
author | Bruce Momjian <bruce@momjian.us> | 1999-07-02 18:09:28 +0000 |
---|---|---|
committer | Bruce Momjian <bruce@momjian.us> | 1999-07-02 18:09:28 +0000 |
commit | 954e466c27ad6e6933b99217749e7cb078243fc1 (patch) | |
tree | b5fbaff9c9de1b0bd48320f5349b75898afefda3 /src/backend/tcop/postgres.c | |
parent | d20abcd8c5bed273797b948e1475bbf5206eb38d (diff) | |
download | postgresql-954e466c27ad6e6933b99217749e7cb078243fc1.tar.gz postgresql-954e466c27ad6e6933b99217749e7cb078243fc1.zip |
Fix for removal of temp tables if last transaction was aborted.
Diffstat (limited to 'src/backend/tcop/postgres.c')
-rw-r--r-- | src/backend/tcop/postgres.c | 15 |
1 files changed, 2 insertions, 13 deletions
diff --git a/src/backend/tcop/postgres.c b/src/backend/tcop/postgres.c index b89cc20af8b..74c407ecd82 100644 --- a/src/backend/tcop/postgres.c +++ b/src/backend/tcop/postgres.c @@ -7,7 +7,7 @@ * * * IDENTIFICATION - * $Header: /cvsroot/pgsql/src/backend/tcop/postgres.c,v 1.118 1999/05/29 10:25:30 vadim Exp $ + * $Header: /cvsroot/pgsql/src/backend/tcop/postgres.c,v 1.119 1999/07/02 18:09:27 momjian Exp $ * * NOTES * this is the "main" module of the postgres backend and @@ -1483,17 +1483,6 @@ PostgresMain(int argc, char *argv[], int real_argc, char *real_argv[]) puts("\treset_client_encoding() done."); #endif - /* ---------------- - * if stable main memory is assumed (-S(old) flag is set), it is necessary - * to flush all dirty shared buffers before exit - * plai 8/7/90 - * this used to be done further down, causing an additional entry in - * the shmem exit list for every error :-( ... tgl 10/1/98 - * ---------------- - */ - if (!TransactionFlushEnabled()) - on_shmem_exit(FlushBufferPool, NULL); - on_shmem_exit(remove_all_temp_relations, NULL); /* ---------------- @@ -1536,7 +1525,7 @@ PostgresMain(int argc, char *argv[], int real_argc, char *real_argv[]) if (!IsUnderPostmaster) { puts("\nPOSTGRES backend interactive interface "); - puts("$Revision: 1.118 $ $Date: 1999/05/29 10:25:30 $\n"); + puts("$Revision: 1.119 $ $Date: 1999/07/02 18:09:27 $\n"); } /* ---------------- |