Problem description I'm having an intermittent problem with chrome_print(): it works great initially, but at some point after I've run it a few times (sometimes with minor tweaks to the same input .rmd file; sometimes running an identica...
2020-06-09 11:05:23,444 ERROR Failed to destroy the filter named [Tomcat WebSocket (JSR356) Filter] of type [org.apache.tomcat.websocket.server.WsFilter] java.lang.AbstractMethodError: null at org.apache.catalina.core.ApplicationFilterConfig.release(ApplicationFilterConfig.java:301) at org.apache...