tree ec8d984c8b3b5b1b045315b4591d2954e639133a
parent 6afd12177bab60924a76c214cacb03029e244c11
author Marc Kupietz <kupietz@ids-mannheim.de> 1599583197 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1599633157 +0200

Empty text (<EOT><EOT>) -> empty output line

Empty texts, i. e. <EOT><EOF> will result in empty output lines. At the end of a file however one additional <EOT> will not produce an empty outpu line.

Change-Id: Ib989f91f7172441e6b6d8689dfc118f07d91e1c2