grep: fixed --id-list
option
and switch to version 3.0.0b38
This commit is contained in:
@ -184,7 +184,7 @@ def Filter_generator(options, tax_filter, i_view):
|
|||||||
invert_selection = options["invert_selection"]
|
invert_selection = options["invert_selection"]
|
||||||
id_set = None
|
id_set = None
|
||||||
if "id_list" in options:
|
if "id_list" in options:
|
||||||
id_set = set(x.strip() for x in open(options["id_list"]))
|
id_set = set(x.strip() for x in open(options["id_list"], 'rb'))
|
||||||
|
|
||||||
# Initialize the regular expression patterns
|
# Initialize the regular expression patterns
|
||||||
seq_pattern = None
|
seq_pattern = None
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
major = 3
|
major = 3
|
||||||
minor = 0
|
minor = 0
|
||||||
serial= '0b37'
|
serial= '0b38'
|
||||||
|
|
||||||
version ="%d.%d.%s" % (major,minor,serial)
|
version ="%d.%d.%s" % (major,minor,serial)
|
||||||
|
Reference in New Issue
Block a user