e08a24e47f
ruff: Fix UP006 Use `list` instead of `List` for type annotation.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2024-07-13 22:28:22 -07:00
d32d4434dd
partial: Replace returns plugin with an annotation.
...
The returns plugin hasn’t been updated for mypy ≥ 1.6. This
annotation is more limited in that it only supports a fixed number of
positional arguments and no keyword arguments, but is good enough for
our purposes.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2024-04-29 17:14:41 -07:00
be59ef9c02
runtornado: Swap deferred reload events to the default.
...
This makes no immediate reloads the default for runtornado, matching
the production configuration, and changes the development incantation
to be the one to specify the departure from the norm, with
--immediate-reloads.
2024-02-26 22:29:19 -08:00
bf4933942c
run-dev: Abbreviate error message when receiving an https request.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2024-02-22 16:26:36 -08:00
55b26da82b
run-dev: Rewrite development proxy with aiohttp.
...
This allows request cancellation to be propagated to the server.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-12-12 08:07:41 -08:00
cf16ddd4d6
tornado: Fix autoreload for Tornado 6.4 changes.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-12-09 14:24:45 -08:00
223b626256
python: Use urlsplit instead of urlparse.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-12-05 13:03:07 -08:00
f8a74831b0
run-dev: Add flag to allow JSON requests through HTTPS proxy.
2023-10-12 17:59:29 -07:00
a50eb2e809
mypy: Enable new error explicit-override.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-10-12 12:28:41 -07:00
562a79ab76
ruff: Fix PERF401 Use a list comprehension to create a transformed list.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-08-07 17:23:55 -07:00
13d92acdb3
run-dev: Clarify magic number for errno.EADDRINUSE.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-05-25 15:49:06 -07:00
43b4f10578
run-dev: Drop .py from script name.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-03-03 18:02:37 -08:00
Anders Kaseorg
Alex Vandiver
Tam Le