Bugzilla – Bug 308
server-side caching for pictures?
Last modified: 2012-04-11 21:36:15 CEST
(this is just to record the status-quo) when the RPC server sends out a picture that was built by "peng", it does so because it sees an Output node of shape O.Image file contents: http://autolat.imn.htwk-leipzig.de/gitweb/?p=tool;a=blob;f=server-interface/src/Util/Xml/Output.hs;h=506042a36a3733e8273b1d6432d683b7a5504e03;hb=17f19630f924aaab75845dd79e2dd558bcf38046#l35 This contains "contents' <- contents". Does this mean that the picture is re-computed each time? I hope not, looking at this code: http://autolat.imn.htwk-leipzig.de/gitweb/?p=autolib;a=blob;f=dot/Autolib/Dot/Dotty.hs;h=e35517fddfdb9efbe8b63e44df1185c00b9da65d;hb=release