Commit 0665e721 authored by Dominik Charousset's avatar Dominik Charousset

Fix indent_trace_log script

parent 64c9b996
......@@ -36,6 +36,7 @@ def read_lines(fp, ids):
indent = print_indented(line, indent)
def read_ids(ids_file):
if ids_file and len(ids_file) > 0:
if os.path.isfile(ids_file):
with open(ids_file) as fp:
return fp.read().splitlines()
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment