SEESenv/scripts/finalhtml.py
changeset 32 de7ac08f237b
parent 30 f66b0a5ebf40
child 39 bc65d8802897
equal deleted inserted replaced
31:06a02dd3966f 32:de7ac08f237b
    28     except TypeError:
    28     except TypeError:
    29         print file_name  
    29         print file_name  
    30     return soup
    30     return soup
    31 
    31 
    32 if __name__=='__main__':
    32 if __name__=='__main__':
    33 	file_names=glob.glob(repo+'ch*.html')
    33 	file_names=glob.glob(temp_dir+'ch*.html')
    34 	for file_name in file_names:
    34 	for file_name in file_names:
    35             file_obj=open(file_name,'r')
    35             file_obj=open(file_name,'r')
    36             soup=finalchanges(file_name,file_obj.read())
    36             soup=finalchanges(file_name,file_obj.read())
    37       	    time.sleep(1)
    37       	    time.sleep(1)
    38 	    file_obj=open(file_name,'w')
    38 	    file_obj=open(file_name,'w')