Jonas Jenwald 1c66d4a106 Add a totalLength getter to OperatorList, since the length is zero after flushing
In the `RenderPageRequest` handler in `worker.js`, we attempt to print an `info` message containing the rendering time and the length of the operator list. The latter is currently broken (and has been for quite some time), since the `length` of an `OperatorList` is reset when flushing occurs.
This patch attempts to rectify this, by adding a getter which keeps track of the total length.
2015-10-26 18:12:14 +01:00
..
2014-07-18 22:34:50 +02:00
2015-02-17 11:07:37 -05:00
2015-02-17 11:07:37 -05:00
2015-02-17 11:07:37 -05:00
2015-04-03 20:17:20 +02:00