diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2014-12-11 20:13:37 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2014-12-11 20:13:37 -0400 |
| commit | 7504b0ccbb22ee9e33ee6b6a9c2e2b32bde571ab (patch) | |
| tree | 353960affb635920f3454163a5ade414dab8399a /Types | |
| parent | 743dcc87eee871833b3c676fcd0fcb16f6ad3349 (diff) | |
don't allow file paths to .git directory
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/UrlContents.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Types/UrlContents.hs b/Types/UrlContents.hs index d6dee120b..2085aebfa 100644 --- a/Types/UrlContents.hs +++ b/Types/UrlContents.hs @@ -39,6 +39,7 @@ mkSafeFilePath p = SafeFilePath $ if null p' then "file" else p' safe s | isDrive s = False | s == ".." = False + | s == ".git" = False | null s = False | otherwise = True |