mirror of https://github.com/zulip/zulip.git
analytics: Clean up type ignores.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
parent
820165e4da
commit
490ce993f4
|
@ -8,7 +8,7 @@ from datetime import datetime, timedelta
|
||||||
from decimal import Decimal
|
from decimal import Decimal
|
||||||
|
|
||||||
from typing import Any, Callable, Dict, List, \
|
from typing import Any, Callable, Dict, List, \
|
||||||
Optional, Set, Tuple, Type, Union, cast
|
Optional, Set, Tuple, Type, Union
|
||||||
|
|
||||||
import pytz
|
import pytz
|
||||||
from django.conf import settings
|
from django.conf import settings
|
||||||
|
@ -264,7 +264,7 @@ def get_chart_data(request: HttpRequest, user_profile: UserProfile, chart_name:
|
||||||
id_value = {
|
id_value = {
|
||||||
InstallationCount: -1,
|
InstallationCount: -1,
|
||||||
RealmCount: realm.id,
|
RealmCount: realm.id,
|
||||||
RemoteInstallationCount: cast(RemoteZulipServer, server).id if server is not None else None,
|
RemoteInstallationCount: server.id if server is not None else None,
|
||||||
# TODO: RemoteRealmCount logic doesn't correctly handle
|
# TODO: RemoteRealmCount logic doesn't correctly handle
|
||||||
# filtering by server_id as well.
|
# filtering by server_id as well.
|
||||||
RemoteRealmCount: remote_realm_id,
|
RemoteRealmCount: remote_realm_id,
|
||||||
|
|
Loading…
Reference in New Issue