blob: 605269f113707bc7b7a86d5557d53973391c9dcb [file] [log] [blame]
import re
def flatten_result(result):
return re.sub(r'[\s\r\n]+', ' ', result).strip()
def result_lines(result):
return [x.strip() for x in re.split(r'\r?\n', re.sub(r' +', ' ', result)) if x.strip() != '']