# HG changeset patch # User John Schneiderman # Date 1406403751 18000 # Node ID b09caec3d202361387f1ed3f285c3a172a117cdd # Parent 43d7ef8912d3a5dea79947e4fe5b52a0b0d6d073 Releaxed requirement for a configuration file for a repository to exist. IN: - diff -r 43d7ef8912d3 -r b09caec3d202 src/manager.py --- a/src/manager.py Sat Jul 26 14:29:48 2014 -0500 +++ b/src/manager.py Sat Jul 26 14:42:31 2014 -0500 @@ -233,9 +233,7 @@ if (repo is None) or (repo.StorageName is None): return False - elif os.path.exists(settings.RepositoryPath + os.sep + repo.StorageName) \ - and os.path.isdir(settings.RepositoryPath + os.sep + repo.StorageName) \ - and os.path.isfile(settings.RepositoryPath + os.sep + repo.StorageName + os.sep + ".hg" + os.sep + "hgrc"): + elif os.path.isdir(settings.RepositoryPath + os.sep + repo.StorageName + os.sep + '.hg'): return True else: return False