Am 02.05.2017 um 18:00 schrieb Johannes Schindelin:
In the (admittedly, concocted) case that PATH consists only of colons, we would leak the duplicated string.
Nit: It's about semicolons, right? At least that's what get_path_split is searching for. Or is there some kind of translation going on? René