W3C home > Mailing lists > Public > public-html-commits@w3.org > January 2010

html5/spec-author-view patch.anolis.filter.2,NONE,1.1 Makefile,1.16,1.17

From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
Date: Tue, 26 Jan 2010 04:49:44 +0000
To: public-html-commits@w3.org
Message-Id: <E1NZdN2-0007n3-5K@lionel-hutz.w3.org>
Update of /sources/public/html5/spec-author-view
In directory hutz:/tmp/cvs-serv29925

Modified Files:
	Makefile 
Added Files:
	patch.anolis.filter.2 
Log Message:
patch anolis to fix --filter bug


Index: Makefile
===================================================================
RCS file: /sources/public/html5/spec-author-view/Makefile,v
retrieving revision 1.16
retrieving revision 1.17
diff -u -d -r1.16 -r1.17
--- Makefile	1 Jan 2010 06:06:52 -0000	1.16
+++ Makefile	26 Jan 2010 04:49:42 -0000	1.17
@@ -9,6 +9,8 @@
 TEEFLAGS=
 PERL=perl
 PERLFLAGS=
+PATCH=patch
+PATCHFLAG=
 
 HTML5=../spec
 SPLITTER=html5-tools/spec-splitter/spec-splitter.py
@@ -86,6 +88,7 @@
 # this also relies on html5lib and lxml
 anolis/anolis:
 	$(HG) clone http://hg.hoppipolla.co.uk/anolis/
+	$(PATCH) $(PATCHFLAGS) -p0 < patch.anolis.filter.2
 
 # tested with r169 2009-07-22 08:37:15 -0500
 # Repository UUID: fac1fef6-d828-0410-b4ea-9384b9858573

--- NEW FILE: patch.anolis.filter.2 ---
diff -r 16550726fd0d anolislib/processes/filter.py
--- anolis/anolislib/processes/filter.py	Sun Aug 30 16:53:19 2009 -0500
+++ anolis/anolislib/processes/filter.py	Mon Jan 25 20:05:38 2010 +0900
@@ -5,23 +5,4 @@
         return
     selector = cssselect.CSSSelector(kwargs["filter"])
     for element in selector(ElementTree.getroot()):
-        remove(element)
-
-def remove(element):
-    if element.tail:
-        if element.getprevious() is not None:
-            target = element.getprevious()
-            if target.tail:
-                target.tail += element.tail
-            else:
-                target.tail = element.tail
-        else:
-            target = element.getparent()
-            if target.text:
-                target.text += element.text
-            else:
-                target.text = element.text
-        
-    element.getparent().remove(element)
-
-        
+        element.drop_tree()
Received on Tuesday, 26 January 2010 04:49:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 26 January 2010 04:49:49 GMT