Jonas Jenwald 4aabd063fc Gracefully handle annotation parsing errors in Page.getOperatorList (issue 11871)
This should ensure that a page will always render successfully, even if there's errors during the Annotation fetching/parsing.
Additionally the `OperatorList.addOpList` method is also adjusted to ignore invalid data, to make it slightly more robust.
2020-05-04 17:09:48 +02:00
..
2020-04-14 12:28:14 +02:00
2017-01-29 23:24:44 +01:00
2020-04-17 12:24:46 +02:00
2018-11-23 13:49:58 +01:00
2013-03-15 11:24:08 -07:00
2020-04-14 12:28:14 +02:00
2020-04-14 12:28:14 +02:00