equal
deleted
inserted
replaced
106 |
106 |
107 |
107 |
108 reg_obj=re.compile('<head>.*</head>',re.DOTALL) |
108 reg_obj=re.compile('<head>.*</head>',re.DOTALL) |
109 html_string=reg_obj.sub(replace_string, html_string,re.DOTALL) |
109 html_string=reg_obj.sub(replace_string, html_string,re.DOTALL) |
110 html_string=re.sub('><a name',' id', html_string) |
110 html_string=re.sub('><a name',' id', html_string) |
111 soup=BeautifulSoup(html_string.decode('ascii','ignore')) |
111 soup=BeautifulSoup(html_string) |
112 soup.html.head.title.string.replaceWith(current_chapter_title) |
112 soup.html.head.title.string.replaceWith(current_chapter_title) |
113 div=soup.html.div |
113 div=soup.html.div |
114 |
114 |
115 try: |
115 try: |
116 del(div['title']) |
116 del(div['title']) |