HomeGitPull.it

gracefully die in case of early API error

Description

gracefully die in case of early API error

Reviewers: valerio.bozzolan

Differential Revision: https://gitpull.it/D20

Details

Provenance
tools.itwikiAuthored on Apr 6 2020, 19:18
Differential Revision
D20: gracefully die in case of early API error
Parents
R30:edf1faa6e03c: fix typo
Branches
Unknown
Tags
Unknown

Event Timeline

tools.itwiki <tools.itwiki@tools-sgebastion-07.tools.eqiad.wmflabs> committed R30:62029819a7f2: gracefully die in case of early API error (authored by tools.itwiki <tools.itwiki@tools-sgebastion-07.tools.eqiad.wmflabs>).Apr 6 2020, 19:19