Received: from malur.postgresql.org ([217.196.149.56])
	by arkaria.postgresql.org with esmtps
 (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <pgsql-bugs-owner+archive@lists.postgresql.org>)
	id 1m4Ikq-0007zM-HM
	for pgsql-bugs@arkaria.postgresql.org; Fri, 16 Jul 2021 07:59:28 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.92)
	(envelope-from <pgsql-bugs-owner+archive@lists.postgresql.org>)
	id 1m4Ikp-0002Ey-9O
	for pgsql-bugs@arkaria.postgresql.org; Fri, 16 Jul 2021 07:59:27 +0000
Received: from makus.postgresql.org ([2001:4800:3e1:1::229])
	by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <sk@zsrv.org>)
	id 1m4Ikp-0002Eq-2v
	for pgsql-bugs@lists.postgresql.org; Fri, 16 Jul 2021 07:59:27 +0000
Received: from forward104p.mail.yandex.net ([77.88.28.107])
	by makus.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <sk@zsrv.org>)
	id 1m4Ikm-0001EM-SS
	for pgsql-bugs@lists.postgresql.org; Fri, 16 Jul 2021 07:59:25 +0000
Received: from sas2-3c349b911c75.qloud-c.yandex.net
 (sas2-3c349b911c75.qloud-c.yandex.net
 [IPv6:2a02:6b8:c08:bc8b:0:640:3c34:9b91])
	by forward104p.mail.yandex.net (Yandex) with ESMTP id 91E484B03A39;
	Fri, 16 Jul 2021 10:59:21 +0300 (MSK)
Received: from mail.yandex.ru (mail.yandex.ru [217.66.154.177])
	by sas2-3c349b911c75.qloud-c.yandex.net (mxback/Yandex) with HTTP id
 KxOUDl0HfGk1-xKHS4TNJ;
	Fri, 16 Jul 2021 10:59:21 +0300
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=zsrv.org; s=mail;
 t=1626422361;
	bh=MK8afvrTIS5oFGEP8yRhMJ+LeeOFwYmyQiXO7Yk5Yxc=;
	h=References:Date:Message-Id:Subject:In-Reply-To:To:From;
	b=PO6mkJUELF+piolYd6BybjSq9e++BZAceEq1wyqrmIOlwQkV3HHfQSvVG1OrkodJS
	 wYmCWVjEm8+zfvuGs5ZbrXUPrwxKJq+YyY+XpfoLr3HSVNU8uL4VKuCb1Oahih1c2/
	 s0f2e1x90DQAAsJ3+XohFyhlkYPZldLmMQ+Dhwng=
Authentication-Results: sas2-3c349b911c75.qloud-c.yandex.net;
 dkim=pass header.i=@zsrv.org
Received: by sas1-229a7e5e75ed.qloud-c.yandex.net with HTTP;
	Fri, 16 Jul 2021 10:59:20 +0300
From: Sergei Kornilov <sk@zsrv.org>
To: "inconvenience.notice@gmail.com" <inconvenience.notice@gmail.com>,
	"pgsql-bugs@lists.postgresql.org" <pgsql-bugs@lists.postgresql.org>
In-Reply-To: <17112-7a61337ba5df1556@postgresql.org>
References: <17112-7a61337ba5df1556@postgresql.org>
Subject: Re: BUG #17112: Sequence number is not restored when the stored
 procedure ends abnormally
MIME-Version: 1.0
X-Mailer: Yamail [ http://yandex.ru ] 5.0
Date: Fri, 16 Jul 2021 10:59:20 +0300
Message-Id: <1145311626422093@mail.yandex.ru>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain
List-Id: <pgsql-bugs.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-bugs@lists.postgresql.org>
List-Owner: <mailto:pgsql-bugs-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-bugs>
Archived-At: 
 <https://www.postgresql.org/message-id/1145311626422093%40mail.yandex.ru>
Precedence: bulk

Hello

Exactly as expected. It's intentional and not a bug. Sequences are guaranteed to be unique.

regards, Sergei