Re: [xml] Push parser bug

On Mon, Mar 12, 2001 at 07:57:09PM +0000, Matt Sergeant wrote:
Using the push parser it won't accept any input with space at the
beginning of the file. Witness:

$ xmllint --push -

-:1: error: Extra spaces at the beginning of the document are not allowed


  Doohh .. something i fixed long ago in the other mode, 

    thanks for the report, patch enclosed,


Daniel Veillard      | Red Hat Network
veillard redhat com  | libxml Gnome XML XSLT toolkit | Rpmfind RPM search engine

Attachment: push.diff
Description: Text document

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]