mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-06-30 20:17:08 +00:00
Compare commits
1 Commits
Author | SHA1 | Date | |
---|---|---|---|
e6a0eeb80d |
@ -163,6 +163,7 @@ later is required to fix a server side protocol bug.
|
|||||||
# - We always set err_event in the case of an exception.
|
# - We always set err_event in the case of an exception.
|
||||||
# - We always make sure we call sem.release().
|
# - We always make sure we call sem.release().
|
||||||
# - We always make sure we unlock the lock if we locked it.
|
# - We always make sure we unlock the lock if we locked it.
|
||||||
|
try:
|
||||||
try:
|
try:
|
||||||
success = project.Sync_NetworkHalf(quiet=opt.quiet)
|
success = project.Sync_NetworkHalf(quiet=opt.quiet)
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user