diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-30 09:43:34 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-30 09:43:34 (GMT) |
| commit | 37e8f0d9caa2cc3f212ec3d926d53acd47c3fee1 (patch) | |
| tree | e8c9072cde04ca01fb2dab8eb0ca2864aa3b3710 /devbot/config.py | |
| parent | 7aab4dbe7607a89db57e10ccd0958956be4ae8ba (diff) | |
Cleanup retrying
Diffstat (limited to 'devbot/config.py')
| -rw-r--r-- | devbot/config.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devbot/config.py b/devbot/config.py index 8430ccd..ed65c3a 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -56,8 +56,9 @@ class Module: return utils.get_commit_id(self.get_source_dir()) def get_git_module(self): - return git.Module(get_source_dir(), self.name, self.repo, - self.branch, self.tag) + return git.Module(path=get_source_dir(), name=self.name, + remote=self.repo, branch=self.branch, tag=self.tag, + retry=10) def _ensure_dir(dir): if not os.path.exists(dir): |