tree b9dd178e621d0554a8fdf9475f45c34f648ec0f4
parent 64e02096dbe9cc85ae4f3c841ec904bf64d9800d
author Dénes Almási <dalmasi@google.com> 1475686599 +0100
committer Natalie Weizenbaum <nweiz@google.com> 1475785208 -0700

Do not try to fetch more tokens if the stream end is encountered.