1
0
Fork 0
mirror of https://github.com/pgpainless/pgpainless.git synced 2024-11-06 04:26: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-30 19:55:06 +01:00
parent 0c5521f82a
commit 4b474b4683
Signed by: vanitasvitae
GPG key ID: 62BEE9264BF17311

View file

@ -712,6 +712,7 @@ public class OpenPgpMessageInputStream extends DecryptionStream {
public int read() throws IOException { public int read() throws IOException {
if (nestedInputStream == null) { if (nestedInputStream == null) {
if (packetInputStream != null) { if (packetInputStream != null) {
syntaxVerifier.next(InputSymbol.EndOfSequence);
syntaxVerifier.assertValid(); syntaxVerifier.assertValid();
} }
return -1; return -1;