blob: 29225e232bad41602e5cd1e6cd94fef3b7d5ac8a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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() != ""
]
|