diff options
author | Joey Hess <joey@kitenet.net> | 2012-01-05 14:32:20 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-01-05 14:32:20 -0400 |
commit | 0b27e6baa0bd6ed61e2369bd5452d61f3e63e545 (patch) | |
tree | 8da213ebf32cce2bf251c993d0629be0930f29c8 /Backend/URL.hs | |
parent | 3e3ed62bdfd3860945e11f648ef7d90c7bacfe98 (diff) |
Support unescaped repository urls, like git does.
Turns out that git will accept a .git/config containing an url with eg,
spaces in its name. Handle this by escaping the url if it's not valid.
This also fixes support for urls containing escaped characters like %20
for space. Before, the path from the url was not unescaped properly.
Diffstat (limited to 'Backend/URL.hs')
0 files changed, 0 insertions, 0 deletions