tree 7332138c8635c4acb3da3cc8ef83e63335404630
parent 32781e9a706f3230f12e7b006aef9d91af862065
author Marc Kupietz <kupietz@ids-mannheim.de> 1773853454 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1773853454 +0100

Handle tokenizer crashes more gracefully

Change-Id: I6b7300fd81e19ec608d892331efcdcea5611dfbc