diff options
| author | Robert Haas | 2013-10-07 19:55:56 +0000 |
|---|---|---|
| committer | Robert Haas | 2013-10-07 19:55:56 +0000 |
| commit | 16a906f535082fcf3d8c6732d8e941e037bc6d5e (patch) | |
| tree | 06a53e2a1a093341bf963d15af1cc7c6e664b435 /src/backend | |
| parent | 689746c045b169edbc694d6cf9176fe5f6c0b264 (diff) | |
Make DISCARD SEQUENCES also discard the last used sequence.
Otherwise, we access already-freed memory. Oops.
Report by Michael Paquier. Fix by me.
Diffstat (limited to 'src/backend')
| -rw-r--r-- | src/backend/commands/sequence.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/backend/commands/sequence.c b/src/backend/commands/sequence.c index eba7cad6ec..f3344c6207 100644 --- a/src/backend/commands/sequence.c +++ b/src/backend/commands/sequence.c @@ -1617,4 +1617,6 @@ ResetSequenceCaches(void) free(seqtab); seqtab = next; } + + last_used_seq = NULL; } |