Anders Kaseorg
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
Alex Vandiver
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
Anders Kaseorg
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
Anders Kaseorg
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
Anders Kaseorg
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
Anders Kaseorg
223b626256
python: Use urlsplit instead of urlparse.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-12-05 13:03:07 -08:00
Tam Le
f8a74831b0
run-dev: Add flag to allow JSON requests through HTTPS proxy.
2023-10-12 17:59:29 -07:00
Anders Kaseorg
a50eb2e809
mypy: Enable new error explicit-override.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-10-12 12:28:41 -07:00
Anders Kaseorg
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
Anders Kaseorg
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
Anders Kaseorg
43b4f10578
run-dev: Drop .py from script name.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-03-03 18:02:37 -08:00