message: Fix indent_trace_log script
diff: @@ -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()
  