android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-25 07:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'stable'

Browse Source 
* stable:
  Fix mirror clients with no worktree

Change-Id: I5665117af7365107fef526a825f5ef51f0af4c2d
This commit is contained in:
Shawn O. Pearce 2011-01-10 13:28:22 -08:00 committed by Terence Haddock
commit 1e1b3e31f0
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
project.py
View File

@ -237,7 +237,10 @@ class Project(object):
self.name = name self.name = name
self.remote = remote self.remote = remote
self.gitdir = gitdir.replace('\\', '/') self.gitdir = gitdir.replace('\\', '/')
self.worktree = worktree.replace('\\', '/') if worktree:
self.worktree = worktree.replace('\\', '/')
else:
self.worktree = None
self.relpath = relpath self.relpath = relpath
self.revisionExpr = revisionExpr self.revisionExpr = revisionExpr