michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(bin/leantags): remove '\r' in ilean input

Browse source 
fix #591
This commit is contained in:
Soonho Kong 2015-05-09 11:56:31 -04:00
parent 379af8a04e
commit e6db3ce584
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
bin/leantags
View file

@ -84,6 +84,7 @@ def extract_info_from_ilean(ilean_file, decl_dict, args):
info = [] info = []
with codecs.open(ilean_file, "r", "utf-8") as f: with codecs.open(ilean_file, "r", "utf-8") as f:
for line in f: for line in f:
line = line.replace("\r\n", "\n")
array = line[:-1].split("|") array = line[:-1].split("|")
item = {} item = {}
item['category'] = array[0] item['category'] = array[0]