From 7b81a1b53e7ce93307b9e0b7ef687697604b6abb Mon Sep 17 00:00:00 2001 From: Jeff Date: Thu, 21 Mar 2019 11:01:34 -0700 Subject: [PATCH 1/3] [third_party/click] add Exit exception definition --- third_party/2and3/click/exceptions.pyi | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/third_party/2and3/click/exceptions.pyi b/third_party/2and3/click/exceptions.pyi index be80c0a36953..36b7445fd108 100644 --- a/third_party/2and3/click/exceptions.pyi +++ b/third_party/2and3/click/exceptions.pyi @@ -89,3 +89,7 @@ class FileError(ClickException): class Abort(RuntimeError): ... + + +class Exit(RuntimeError): + ... From 26eca473d2cd1257f1e7a3f9413f3740a94739cd Mon Sep 17 00:00:00 2001 From: Jeff Date: Thu, 21 Mar 2019 12:29:05 -0700 Subject: [PATCH 2/3] [third_party/click] Add missing init signature --- third_party/2and3/click/exceptions.pyi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/third_party/2and3/click/exceptions.pyi b/third_party/2and3/click/exceptions.pyi index 36b7445fd108..7b28d7d70132 100644 --- a/third_party/2and3/click/exceptions.pyi +++ b/third_party/2and3/click/exceptions.pyi @@ -92,4 +92,5 @@ class Abort(RuntimeError): class Exit(RuntimeError): - ... + def __init__(self, code: Optional[int] = ...) -> None: + ... From 12e8628e03d3350b96abebfb738d9e7739562daa Mon Sep 17 00:00:00 2001 From: Jeff Date: Thu, 21 Mar 2019 14:08:57 -0700 Subject: [PATCH 3/3] [third_party/click] Remove optional designator on argument --- third_party/2and3/click/exceptions.pyi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third_party/2and3/click/exceptions.pyi b/third_party/2and3/click/exceptions.pyi index 7b28d7d70132..7e081be0af76 100644 --- a/third_party/2and3/click/exceptions.pyi +++ b/third_party/2and3/click/exceptions.pyi @@ -92,5 +92,5 @@ class Abort(RuntimeError): class Exit(RuntimeError): - def __init__(self, code: Optional[int] = ...) -> None: + def __init__(self, code: int = ...) -> None: ...