diff options
| author | Jabasukuriputo Wang <wfjsw@users.noreply.github.com> | 2023-08-01 11:26:17 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-01 11:26:17 +0800 |
| commit | c46525b70b54e4f6eaa8326d20777ecbad959a20 (patch) | |
| tree | b573decfd6fa3cb3bd5fce3deeab0c804e856838 /modules | |
| parent | 955542a6540e3c2c27b39dc515c0ee3f8044b57b (diff) | |
fix exception
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/launch_utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/launch_utils.py b/modules/launch_utils.py index 87c577e0..4be25990 100644 --- a/modules/launch_utils.py +++ b/modules/launch_utils.py @@ -156,7 +156,7 @@ def git_clone(url, dir, name, commithash=None): current_hash = subprocess.check_output([git, "-C", dir, "rev-parse", "HEAD"], shell=False, encoding='utf8').strip()
if current_hash == commithash:
return
- except RuntimeError:
+ except Exception:
print(f"Unable to determine {name}'s hash, attempting autofix...")
git_fix_workspace(dir)
current_hash = subprocess.check_output([git, "-C", dir, "rev-parse", "HEAD"], shell=False, encoding='utf8').strip()
|