dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

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

Attachment: signature.asc
Description: Digital signature