On Thursday 17 December 2009 11:10:40 Anders Logg wrote: > On Thu, Dec 17, 2009 at 04:39:14PM +0000, Garth N. Wells wrote: > > On Dec 17 2009, Johan Hake wrote: > > >On Wednesday 16 December 2009 23:32:04 Anders Logg wrote: > > >>Thanks! > > >> > > >>Strange that the files were not gzipped. I thought they would be when > > >>saved as foo.xml.gz from DOLFIN, but apparently not. > > >> > > >>Looks like a bug. > > > > > >No it isn't. The xml library we use automagically unzip any zipped > > >files. When we save zip files we do it by explicitly writing the > > >strings to file. We need to provide a proper zip algorithm. > > Why isn't it a bug? If one does > > file = File("foo.xml.gz") > file << foo > > then one expects the file to be gzipped.
Well, I guess you are right. > So until we implement gzip on output we should probably disable that > suffix for output. Sounds like the way to go. Johan > -- > Anders > > > >boost provide such frameworks with its ostream library. I is quite > > >neat, but of course it makes heavy use of templates. I used it in > > >a previous version of TriTetMesh, but abandoned it because I could > > >not figure out template related stuff. It should be quite straight > > >forward for a C++ Guru to include for our xml files. > > > > I looked at Boost for the compressed .vtu files, and it was horrible > > and incomplete. Instead, I used zlib to compress parts of the .vtu > > files. It was pretty easy, so it should be easy to compress entire > > files. > > > > Garth > > > > >Johan > > > > > > > > >_______________________________________________ > > >Mailing list: https://launchpad.net/~dolfin > > >Post to : dolfin@lists.launchpad.net > > >Unsubscribe : https://launchpad.net/~dolfin > > >More help : https://help.launchpad.net/ListHelp > > > > _______________________________________________ > > Mailing list: https://launchpad.net/~dolfin > > Post to : dolfin@lists.launchpad.net > > Unsubscribe : https://launchpad.net/~dolfin > > More help : https://help.launchpad.net/ListHelp > _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp