Skip to content

Commit

Permalink
Fix typings
Browse files Browse the repository at this point in the history
  • Loading branch information
blink1073 committed Sep 26, 2023
1 parent 1bc77c3 commit 80d6165
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions jupyter_server/services/kernels/connection/channels.py
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
from concurrent.futures import Future
from textwrap import dedent
from typing import Dict as Dict_t
from typing import MutableSet
from typing import MutableSet, cast

from jupyter_client import protocol_version as client_protocol_version
from tornado import gen, web
Expand Down Expand Up @@ -285,7 +285,9 @@ async def _register_session(self):
if (
self.kernel_id in self.multi_kernel_manager
): # only update open sessions if kernel is actively managed
self._open_sessions[self.session_key] = self.websocket_handler
self._open_sessions[self.session_key] = cast(
KernelWebsocketHandler, self.websocket_handler
)

async def prepare(self):
"""Prepare a kernel connection."""
Expand Down

0 comments on commit 80d6165

Please sign in to comment.