diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-02-12 14:48:53 +0100 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-02-12 14:48:53 +0100 |
| commit | 6ed4401609817e18a0ff781529e35b2a209ff0da (patch) | |
| tree | 22855f7a502434fb63130f0c0363740de4939c04 /src | |
| parent | 488f16a85041e57ce5934df44ed64ffe5303be03 (diff) | |
| download | rust-6ed4401609817e18a0ff781529e35b2a209ff0da.tar.gz rust-6ed4401609817e18a0ff781529e35b2a209ff0da.zip | |
Permit issue posting to have network failures
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 18d447bcdb6..6f3f409b8fe 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -145,10 +145,18 @@ def update_latest( build_failed = True if build_failed: - issue( - tool, MAINTAINERS.get(tool), - relevant_pr_number, relevant_pr_user, pr_reviewer, - ) + try: + issue( + tool, MAINTAINERS.get(tool), + relevant_pr_number, relevant_pr_user, pr_reviewer, + ) + except IOError as (errno, strerror): + # network errors will simply end up not creating an issue, but that's better + # than failing the entire build job + print "I/O error({0}): {1}".format(errno, strerror) + except: + print "Unexpected error:", sys.exc_info()[0] + raise if changed: status['commit'] = current_commit |
