Re: [xml] Push parser bug

From: Daniel Veillard <veillard redhat com>
To: Matt Sergeant <matt sergeant org>
Cc: xml gnome org
Subject: Re: [xml] Push parser bug
Date: Mon, 12 Mar 2001 15:54:09 -0500

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 -

<xml/>
-:1: error: Extra spaces at the beginning of the document are not allowed
<xml/>

^


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

    thanks for the report, patch enclosed,

Daniel

-- 
Daniel Veillard      | Red Hat Network http://redhat.com/products/network/
veillard redhat com  | libxml Gnome XML XSLT toolkit  http://xmlsoft.org/
http://veillard.com/ | Rpmfind RPM search engine http://rpmfind.net/

Attachment: push.diff
Description: Text document

References:
- [xml] Push parser bug
  - From: Matt Sergeant

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