chrismattmann opened a new issue #164: Drat Viz page refreshes too often URL: https://github.com/apache/drat/issues/164 bq. @tdunning The page seems to refresh pretty often. That makes it really hard to examine the visualizations. It would be much better to either let me do my own refreshes or to use a websockets update to avoid big jumps.
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
