mirror of
https://github.com/element-hq/synapse.git
synced 2024-12-14 11:57:44 +00:00
Add missing type definitions for scripts in docker folder (#12280)
Signed-off-by: Jorge Florian <jafn28@gmail.com>
This commit is contained in:
parent
7732c4902c
commit
78e4d96a4d
3 changed files with 7 additions and 4 deletions
1
changelog.d/12280.misc
Normal file
1
changelog.d/12280.misc
Normal file
|
@ -0,0 +1 @@
|
|||
Add missing type definitions for scripts in docker folder. Contributed by Jorge Florian.
|
|
@ -29,6 +29,7 @@
|
|||
import os
|
||||
import subprocess
|
||||
import sys
|
||||
from typing import Any, Dict, Set
|
||||
|
||||
import jinja2
|
||||
import yaml
|
||||
|
@ -36,7 +37,7 @@ import yaml
|
|||
MAIN_PROCESS_HTTP_LISTENER_PORT = 8080
|
||||
|
||||
|
||||
WORKERS_CONFIG = {
|
||||
WORKERS_CONFIG: Dict[str, Dict[str, Any]] = {
|
||||
"pusher": {
|
||||
"app": "synapse.app.pusher",
|
||||
"listener_resources": [],
|
||||
|
@ -355,7 +356,7 @@ def generate_worker_files(environ, config_path: str, data_dir: str):
|
|||
# worker_type: {1234, 1235, ...}}
|
||||
# }
|
||||
# and will be used to construct 'upstream' nginx directives.
|
||||
nginx_upstreams = {}
|
||||
nginx_upstreams: Dict[str, Set[int]] = {}
|
||||
|
||||
# A map of: {"endpoint": "upstream"}, where "upstream" is a str representing what will be
|
||||
# placed after the proxy_pass directive. The main benefit to representing this data as a
|
||||
|
@ -384,7 +385,7 @@ def generate_worker_files(environ, config_path: str, data_dir: str):
|
|||
# A counter of worker_type -> int. Used for determining the name for a given
|
||||
# worker type when generating its config file, as each worker's name is just
|
||||
# worker_type + instance #
|
||||
worker_type_counter = {}
|
||||
worker_type_counter: Dict[str, int] = {}
|
||||
|
||||
# For each worker type specified by the user, create config values
|
||||
for worker_type in worker_types:
|
||||
|
@ -404,7 +405,7 @@ def generate_worker_files(environ, config_path: str, data_dir: str):
|
|||
# e.g. federation_reader1
|
||||
worker_name = worker_type + str(new_worker_count)
|
||||
worker_config.update(
|
||||
{"name": worker_name, "port": worker_port, "config_path": config_path}
|
||||
{"name": worker_name, "port": str(worker_port), "config_path": config_path}
|
||||
)
|
||||
|
||||
# Update the shared config with any worker-type specific options
|
||||
|
|
1
mypy.ini
1
mypy.ini
|
@ -11,6 +11,7 @@ local_partial_types = True
|
|||
no_implicit_optional = True
|
||||
|
||||
files =
|
||||
docker/,
|
||||
scripts-dev/,
|
||||
setup.py,
|
||||
synapse/,
|
||||
|
|
Loading…
Reference in a new issue