ded285d3306fb0ba7a79bb25c3e64aca71723aef,benchmarking/download_benchmarks/download_benchmarks.py,DownloadBenchmarks,downloadFile,#DownloadBenchmarks#Any#Any#,87

Before Change

                    "\\": "-",
                    ":": "/",
            }
            path = self.root_model_dir + "/" +\
                    getFilename(location, replace_pattern=replace_pattern)
        elif not location.startswith("//"):
            return
        else:
            dirs = location[2:].split("/")

After Change

                    "\\": "-",
                    ":": "/",
            }
            path = os.path.join(self.root_model_dir,
                getFilename(location, replace_pattern=replace_pattern))
        elif not location.startswith("//"):
            return
        else:
            dirs = location[2:].split("/")

Instances