8da9c80
1
2
3
4
5
6
7
8
9
10
11
12
13
import csv from io import StringIO from typing import List def split_path_list(path_list: str) -> List[str]: pl = [] with StringIO() as f: f.write(path_list) f.seek(0) for r in csv.reader(f): pl += r return pl
