[trivial] [print_status] Simplification d'une regexp.

Ignore-this: 63ecd3e05dd860698130ed202d16cd23

darcs-hash:20121124221137-8ef3c-25a670c5e48d59d6d429df3c1925d0810e919ac8.gz
This commit is contained in:
Sylvain Boilard 2012-11-24 23:11:37 +01:00
parent d776b092d6
commit a7acbf1fee

View file

@ -154,7 +154,7 @@ for item in tasks_to_treat:
historique = target.historique() historique = target.historique()
historique.reverse() # Ce qu'on cherche a des chances d'être récent et donc d'être à la fin de l'historique. historique.reverse() # Ce qu'on cherche a des chances d'être récent et donc d'être à la fin de l'historique.
file_dirname = files_directory + user + r"/" file_dirname = files_directory + user + r"/"
match_doc_name = re.compile(file_dirname + r"[^/ ]* ") match_doc_name = re.compile(file_dirname + r"[^ ]* ")
for hist_line in historique: for hist_line in historique:
if match_taskID.search(hist_line): if match_taskID.search(hist_line):
filename = match_doc_name.search(hist_line).group()[len(file_dirname):-1] filename = match_doc_name.search(hist_line).group()[len(file_dirname):-1]