1
0
Fork 0
mirror of https://github.com/pgpainless/pgpainless.git synced 2024-12-22 19:08:00 +01:00

Properly feed an EOS token to the push down automata in OpenPgpMessageInputStream.read()

This commit is contained in:
Paul Schaub 2023-11-27 13:27:23 +01:00
parent 1e33408098
commit b0caa95378
Signed by: vanitasvitae
GPG key ID: 62BEE9264BF17311

View file

@ -486,6 +486,7 @@ class OpenPgpMessageInputStream(
override fun read(): Int {
if (nestedInputStream == null) {
if (packetInputStream != null) {
syntaxVerifier.next(InputSymbol.END_OF_SEQUENCE)
syntaxVerifier.assertValid()
}
return -1