On Thu, Dec 17, 2009 at 03:51:28PM -0800, Johan Hake wrote:
> 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.Fixed. -- Anders
signature.asc
Description: Digital signature
_______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
