diff options
Diffstat (limited to 'repo')
| -rwxr-xr-x | repo | 6 |
1 files changed, 5 insertions, 1 deletions
| @@ -430,10 +430,14 @@ def _FindRepo(): | |||
| 430 | dir = os.getcwd() | 430 | dir = os.getcwd() |
| 431 | repo = None | 431 | repo = None |
| 432 | 432 | ||
| 433 | while dir != '/' and not repo: | 433 | olddir = None |
| 434 | while dir != '/' \ | ||
| 435 | and dir != olddir \ | ||
| 436 | and not repo: | ||
| 434 | repo = os.path.join(dir, repodir, REPO_MAIN) | 437 | repo = os.path.join(dir, repodir, REPO_MAIN) |
| 435 | if not os.path.isfile(repo): | 438 | if not os.path.isfile(repo): |
| 436 | repo = None | 439 | repo = None |
| 440 | olddir = dir | ||
| 437 | dir = os.path.dirname(dir) | 441 | dir = os.path.dirname(dir) |
| 438 | return (repo, os.path.join(dir, repodir)) | 442 | return (repo, os.path.join(dir, repodir)) |
| 439 | 443 | ||
