nonebot2/none/command.py

557 lines
20 KiB
Python
Raw Normal View History

2018-06-25 16:50:34 +08:00
import asyncio
2018-07-02 16:54:29 +08:00
import re
2018-06-25 16:50:34 +08:00
from datetime import datetime
2018-06-25 21:14:27 +08:00
from typing import (
2018-06-27 22:05:12 +08:00
Tuple, Union, Callable, Iterable, Dict, Any, Optional, Sequence
2018-06-25 21:14:27 +08:00
)
2018-06-15 06:58:24 +08:00
2018-07-04 09:28:31 +08:00
from . import NoneBot, permission as perm
2018-07-21 00:46:34 +08:00
from .log import logger
from .message import Message
2018-07-01 11:01:24 +08:00
from .expression import render
2018-07-21 23:52:14 +08:00
from .helpers import context_id, send_expr
2018-07-01 11:01:24 +08:00
from .session import BaseSession
2018-06-15 06:58:24 +08:00
2018-06-15 10:40:53 +08:00
# Key: str (one segment of command name)
# Value: subtree or a leaf Command object
_registry = {}
2018-06-15 06:58:24 +08:00
# Key: str
# Value: tuple that identifies a command
2018-06-15 10:40:53 +08:00
_aliases = {}
2018-06-15 06:58:24 +08:00
2018-07-01 20:01:05 +08:00
# Key: context id
# Value: CommandSession object
2018-06-25 16:50:34 +08:00
_sessions = {}
2018-06-25 12:41:12 +08:00
2018-06-15 06:58:24 +08:00
class Command:
2018-07-21 00:46:34 +08:00
__slots__ = ('name', 'func', 'permission',
'only_to_me', 'privileged', 'args_parser_func')
2018-06-15 06:58:24 +08:00
2018-07-01 17:51:01 +08:00
def __init__(self, *, name: Tuple[str], func: Callable, permission: int,
only_to_me: bool, privileged: bool):
2018-06-15 06:58:24 +08:00
self.name = name
2018-06-15 10:40:53 +08:00
self.func = func
self.permission = permission
self.only_to_me = only_to_me
self.privileged = privileged
2018-06-25 16:50:34 +08:00
self.args_parser_func = None
2018-06-15 06:58:24 +08:00
async def run(self, session, *,
check_perm: bool = True,
dry: bool = False) -> bool:
2018-06-30 09:25:25 +08:00
"""
Run the command in a given session.
:param session: CommandSession object
2018-07-01 11:01:24 +08:00
:param check_perm: should check permission before running
:param dry: just check any prerequisite, without actually running
:return: the command is finished (or can be run, given dry == True)
2018-06-30 09:25:25 +08:00
"""
has_perm = await self._check_perm(session) if check_perm else True
2018-07-01 11:01:24 +08:00
if self.func and has_perm:
if dry:
return True
2018-06-25 16:50:34 +08:00
if self.args_parser_func:
await self.args_parser_func(session)
await self.func(session)
2018-06-25 10:41:48 +08:00
return True
return False
2018-06-15 10:40:53 +08:00
async def _check_perm(self, session) -> bool:
"""
Check if the session has sufficient permission to
call the command.
:param session: CommandSession object
:return: the session has the permission
"""
return await perm.check_permission(session.bot, session.ctx,
self.permission)
2018-06-15 10:40:53 +08:00
2018-06-25 17:28:10 +08:00
def on_command(name: Union[str, Tuple[str]], *,
aliases: Iterable = (),
permission: int = perm.EVERYBODY,
only_to_me: bool = True,
privileged: bool = False) -> Callable:
2018-07-01 20:01:05 +08:00
"""
Decorator to register a function as a command.
:param name: command name (e.g. 'echo' or ('random', 'number'))
:param aliases: aliases of command name, for convenient access
:param permission: permission required by the command
:param only_to_me: only handle messages to me
:param privileged: can be run even when there is already a session
2018-07-01 20:01:05 +08:00
"""
2018-06-25 15:22:59 +08:00
def deco(func: Callable) -> Callable:
if not isinstance(name, (str, tuple)):
raise TypeError('the name of a command must be a str or tuple')
if not name:
raise ValueError('the name of a command must not be empty')
2018-07-06 14:24:18 +08:00
cmd_name = (name,) if isinstance(name, str) else name
2018-06-25 15:22:59 +08:00
current_parent = _registry
for parent_key in cmd_name[:-1]:
2018-06-25 17:28:10 +08:00
current_parent[parent_key] = current_parent.get(parent_key) or {}
2018-06-25 15:22:59 +08:00
current_parent = current_parent[parent_key]
cmd = Command(name=cmd_name, func=func, permission=permission,
only_to_me=only_to_me, privileged=privileged)
2018-06-25 15:22:59 +08:00
current_parent[cmd_name[-1]] = cmd
for alias in aliases:
_aliases[alias] = cmd_name
2018-07-01 17:51:01 +08:00
def args_parser_deco(parser_func: Callable):
2018-06-25 16:50:34 +08:00
cmd.args_parser_func = parser_func
2018-06-25 15:22:59 +08:00
return parser_func
2018-07-01 17:51:01 +08:00
func.args_parser = args_parser_deco
2018-06-25 15:22:59 +08:00
return func
return deco
2018-06-25 22:49:15 +08:00
class CommandGroup:
2018-06-30 09:25:25 +08:00
"""
Group a set of commands with same name prefix.
"""
__slots__ = ('basename', 'permission', 'only_to_me')
2018-06-25 22:49:15 +08:00
2018-06-30 09:25:25 +08:00
def __init__(self, name: Union[str, Tuple[str]],
permission: Optional[int] = None, *,
only_to_me: Optional[bool] = None):
2018-06-26 08:49:08 +08:00
self.basename = (name,) if isinstance(name, str) else name
2018-06-25 22:49:15 +08:00
self.permission = permission
self.only_to_me = only_to_me
2018-06-25 22:49:15 +08:00
def command(self, name: Union[str, Tuple[str]], *,
2018-06-30 09:25:25 +08:00
aliases: Optional[Iterable] = None,
permission: Optional[int] = None,
only_to_me: Optional[bool] = None) -> Callable:
2018-06-26 08:49:08 +08:00
sub_name = (name,) if isinstance(name, str) else name
name = self.basename + sub_name
2018-06-25 22:49:15 +08:00
kwargs = {}
if aliases is not None:
kwargs['aliases'] = aliases
if permission is not None:
kwargs['permission'] = permission
2018-06-30 09:25:25 +08:00
elif self.permission is not None:
kwargs['permission'] = self.permission
if only_to_me is not None:
kwargs['only_to_me'] = only_to_me
elif self.only_to_me is not None:
kwargs['only_to_me'] = self.only_to_me
2018-06-25 22:49:15 +08:00
return on_command(name, **kwargs)
2018-06-25 12:41:12 +08:00
def _find_command(name: Union[str, Tuple[str]]) -> Optional[Command]:
2018-06-26 08:49:08 +08:00
cmd_name = (name,) if isinstance(name, str) else name
2018-06-25 12:41:12 +08:00
if not cmd_name:
2018-06-15 10:40:53 +08:00
return None
cmd_tree = _registry
2018-06-25 12:41:12 +08:00
for part in cmd_name[:-1]:
2018-06-15 10:40:53 +08:00
if part not in cmd_tree:
2018-06-23 22:45:43 +08:00
return None
2018-06-15 10:40:53 +08:00
cmd_tree = cmd_tree[part]
2018-06-25 12:41:12 +08:00
return cmd_tree.get(cmd_name[-1])
2018-06-15 10:40:53 +08:00
2018-06-26 08:49:08 +08:00
class _FurtherInteractionNeeded(Exception):
2018-06-25 15:22:59 +08:00
"""
2018-07-06 19:07:02 +08:00
Raised by session.pause() indicating that the command should
2018-07-01 20:01:05 +08:00
enter interactive mode to ask the user for some arguments.
2018-06-25 15:22:59 +08:00
"""
pass
2018-07-06 19:07:02 +08:00
class _FinishException(Exception):
"""
Raised by session.finish() indicating that the command session
2018-07-24 23:59:45 +08:00
should be stopped and removed.
2018-07-06 19:07:02 +08:00
"""
2018-07-21 22:41:56 +08:00
def __init__(self, result: bool = True):
"""
:param result: succeeded to call the command
"""
self.result = result
2018-07-06 19:07:02 +08:00
2018-07-24 23:59:45 +08:00
class SwitchException(Exception):
"""
Raised by session.switch() indicating that the command session
should be stopped and replaced with a new one (going through
handle_message() again).
Since the new context message will go through handle_message()
again, the later function should be notified. So this exception
is designed to be propagated to handle_message().
"""
def __init__(self, new_ctx_message: Message):
"""
:param new_ctx_message: new message which should be placed in context
"""
self.new_ctx_message = new_ctx_message
2018-06-27 22:05:12 +08:00
class CommandSession(BaseSession):
__slots__ = ('cmd', 'current_key', 'current_arg', 'current_arg_text',
2018-07-21 23:52:14 +08:00
'current_arg_images', 'args', '_last_interaction', '_running')
2018-06-15 10:40:53 +08:00
2018-07-04 09:28:31 +08:00
def __init__(self, bot: NoneBot, ctx: Dict[str, Any], cmd: Command, *,
2018-06-30 09:25:25 +08:00
current_arg: str = '', args: Optional[Dict[str, Any]] = None):
2018-06-27 22:05:12 +08:00
super().__init__(bot, ctx)
2018-07-01 20:01:05 +08:00
self.cmd = cmd # Command object
self.current_key = None # current key that the command handler needs
self.current_arg = None # current argument (with potential CQ codes)
self.current_arg_text = None # current argument without any CQ codes
self.current_arg_images = None # image urls in current argument
2018-07-01 17:51:01 +08:00
self.refresh(ctx, current_arg=current_arg)
2018-06-25 12:41:12 +08:00
self.args = args or {}
2018-07-21 23:52:14 +08:00
self._last_interaction = None # last interaction time of this session
self._running = False
@property
def running(self):
return self._running
@running.setter
def running(self, value):
if self._running is True and value is False:
# change status from running to not running, record the time
self._last_interaction = datetime.now()
self._running = value
2018-06-15 06:58:24 +08:00
2018-07-23 23:55:23 +08:00
@property
def is_first_run(self):
return self._last_interaction is None
2018-06-26 08:49:08 +08:00
def refresh(self, ctx: Dict[str, Any], *, current_arg: str = '') -> None:
"""
Refill the session with a new message context.
:param ctx: new message context
:param current_arg: new command argument as a string
"""
2018-06-25 15:22:59 +08:00
self.ctx = ctx
self.current_arg = current_arg
2018-07-01 17:51:01 +08:00
current_arg_as_msg = Message(current_arg)
self.current_arg_text = current_arg_as_msg.extract_plain_text()
self.current_arg_images = [s.data['url'] for s in current_arg_as_msg
2018-06-30 21:00:41 +08:00
if s.type == 'image' and 'url' in s.data]
2018-06-24 23:00:37 +08:00
2018-06-25 15:22:59 +08:00
@property
2018-06-26 08:49:08 +08:00
def is_valid(self) -> bool:
2018-06-30 09:25:25 +08:00
"""Check if the session is expired or not."""
2018-10-14 20:32:00 +08:00
if self.bot.config.SESSION_EXPIRE_TIMEOUT and \
self._last_interaction and \
2018-07-21 23:52:14 +08:00
datetime.now() - self._last_interaction > \
2018-06-25 16:50:34 +08:00
self.bot.config.SESSION_EXPIRE_TIMEOUT:
return False
2018-06-25 15:22:59 +08:00
return True
2018-06-15 06:58:24 +08:00
2018-07-01 17:51:01 +08:00
def get(self, key: str, *, prompt: str = None,
prompt_expr: Union[str, Sequence[str], Callable] = None) -> Any:
2018-06-25 15:22:59 +08:00
"""
Get an argument with a given key.
2018-07-01 17:51:01 +08:00
If the argument does not exist in the current session,
a FurtherInteractionNeeded exception will be raised,
and the caller of the command will know it should keep
the session for further interaction with the user.
2018-06-25 15:22:59 +08:00
:param key: argument key
2018-06-25 16:50:34 +08:00
:param prompt: prompt to ask the user
2018-06-25 21:14:27 +08:00
:param prompt_expr: prompt expression to ask the user
2018-06-25 15:22:59 +08:00
:return: the argument value
:raise FurtherInteractionNeeded: further interaction is needed
"""
2018-07-01 17:51:01 +08:00
value = self.get_optional(key)
if value is not None:
2018-06-25 15:22:59 +08:00
return value
self.current_key = key
2018-06-25 16:50:34 +08:00
# ask the user for more information
2018-06-25 21:14:27 +08:00
if prompt_expr is not None:
prompt = render(prompt_expr, key=key)
2018-07-06 19:07:02 +08:00
self.pause(prompt)
2018-06-25 15:22:59 +08:00
2018-07-01 17:51:01 +08:00
def get_optional(self, key: str,
default: Optional[Any] = None) -> Optional[Any]:
2018-07-06 19:07:02 +08:00
"""Simply get a argument with given key."""
2018-07-01 17:51:01 +08:00
return self.args.get(key, default)
2018-07-06 19:07:02 +08:00
def pause(self, message=None) -> None:
"""Pause the session for further interaction."""
if message:
asyncio.ensure_future(self.send(message))
raise _FurtherInteractionNeeded
def finish(self, message=None) -> None:
"""Finish the session."""
if message:
asyncio.ensure_future(self.send(message))
raise _FinishException
2018-07-24 23:59:45 +08:00
# noinspection PyMethodMayBeStatic
def switch(self, new_ctx_message: Any) -> None:
"""
Finish the session and switch to a new (fake) message context.
The user may send another command (or another intention as natural
language) when interacting with the current session. In this case,
the session may not understand what the user is saying, so it
should call this method and pass in that message, then NoneBot will
handle the situation properly.
"""
if self.is_first_run:
# if calling this method during first run,
# we think the command is not handled
raise _FinishException(result=False)
if not isinstance(new_ctx_message, Message):
new_ctx_message = Message(new_ctx_message)
raise SwitchException(new_ctx_message)
2018-06-25 15:22:59 +08:00
def parse_command(bot: NoneBot,
cmd_string: str) -> Tuple[Optional[Command], Optional[str]]:
2018-06-26 08:49:08 +08:00
"""
Parse a command string (typically from a message).
2018-06-26 08:49:08 +08:00
2018-07-04 09:28:31 +08:00
:param bot: NoneBot instance
:param cmd_string: command string
:return: (Command object, current arg string)
2018-06-26 08:49:08 +08:00
"""
2018-07-21 00:46:34 +08:00
logger.debug(f'Parsing command: {cmd_string}')
2018-07-03 17:32:12 +08:00
matched_start = None
2018-06-15 06:58:24 +08:00
for start in bot.config.COMMAND_START:
2018-07-03 23:13:34 +08:00
# loop through COMMAND_START to find the longest matched start
curr_matched_start = None
2018-06-15 06:58:24 +08:00
if isinstance(start, type(re.compile(''))):
m = start.search(cmd_string)
2018-07-03 17:32:12 +08:00
if m and m.start(0) == 0:
2018-07-03 23:13:34 +08:00
curr_matched_start = m.group(0)
2018-06-15 06:58:24 +08:00
elif isinstance(start, str):
if cmd_string.startswith(start):
2018-07-03 23:13:34 +08:00
curr_matched_start = start
if curr_matched_start is not None and \
(matched_start is None or
len(curr_matched_start) > len(matched_start)):
# a longer start, use it
matched_start = curr_matched_start
2018-07-03 17:32:12 +08:00
if matched_start is None:
2018-06-15 06:58:24 +08:00
# it's not a command
2018-07-21 00:46:34 +08:00
logger.debug('It\'s not a command')
return None, None
2018-06-15 06:58:24 +08:00
2018-07-21 00:46:34 +08:00
logger.debug(f'Matched command start: '
f'{matched_start}{"(space)" if not matched_start else ""}')
full_command = cmd_string[len(matched_start):].lstrip()
2018-07-03 17:32:12 +08:00
2018-06-15 06:58:24 +08:00
if not full_command:
# command is empty
return None, None
2018-06-15 06:58:24 +08:00
cmd_name_text, *cmd_remained = full_command.split(maxsplit=1)
2018-06-15 10:40:53 +08:00
cmd_name = _aliases.get(cmd_name_text)
2018-06-15 06:58:24 +08:00
if not cmd_name:
for sep in bot.config.COMMAND_SEP:
2018-07-03 23:13:34 +08:00
# loop through COMMAND_SEP to find the most optimized split
curr_cmd_name = None
2018-06-15 06:58:24 +08:00
if isinstance(sep, type(re.compile(''))):
2018-07-03 23:13:34 +08:00
curr_cmd_name = tuple(sep.split(cmd_name_text))
2018-06-15 06:58:24 +08:00
elif isinstance(sep, str):
2018-07-03 23:13:34 +08:00
curr_cmd_name = tuple(cmd_name_text.split(sep))
if curr_cmd_name is not None and \
(not cmd_name or len(curr_cmd_name) > len(cmd_name)):
# a more optimized split, use it
cmd_name = curr_cmd_name
if not cmd_name:
2018-06-15 06:58:24 +08:00
cmd_name = (cmd_name_text,)
2018-07-21 00:46:34 +08:00
logger.debug(f'Split command name: {cmd_name}')
2018-06-15 10:40:53 +08:00
cmd = _find_command(cmd_name)
if not cmd:
2018-07-21 00:46:34 +08:00
logger.debug(f'Command {cmd_name} not found')
return None, None
2018-06-24 23:00:37 +08:00
2018-07-21 00:46:34 +08:00
logger.debug(f'Command {cmd.name} found, function: {cmd.func}')
return cmd, ''.join(cmd_remained)
2018-06-24 23:00:37 +08:00
2018-06-15 06:58:24 +08:00
2018-07-04 09:28:31 +08:00
async def handle_command(bot: NoneBot, ctx: Dict[str, Any]) -> bool:
2018-06-26 08:49:08 +08:00
"""
Handle a message as a command.
This function is typically called by "handle_message".
2018-07-04 09:28:31 +08:00
:param bot: NoneBot instance
2018-06-26 08:49:08 +08:00
:param ctx: message context
:return: the message is handled as a command
"""
cmd, current_arg = parse_command(bot, str(ctx['message']).lstrip())
is_privileged_cmd = cmd and cmd.privileged
disable_interaction = is_privileged_cmd
if is_privileged_cmd:
logger.debug(f'Command {cmd.name} is a privileged command')
2018-07-01 20:01:05 +08:00
ctx_id = context_id(ctx)
if not is_privileged_cmd:
# wait for 1.5 seconds (at most) if the current session is running
retry = 5
while retry > 0 and \
_sessions.get(ctx_id) and _sessions[ctx_id].running:
retry -= 1
await asyncio.sleep(0.3)
2018-08-21 22:31:22 +08:00
check_perm = True
session = _sessions.get(ctx_id) if not is_privileged_cmd else None
2018-08-21 22:31:22 +08:00
if session:
2018-07-21 23:52:14 +08:00
if session.running:
logger.warning(f'There is a session of command '
f'{session.cmd.name} running, notify the user')
asyncio.ensure_future(
send_expr(bot, ctx, bot.config.SESSION_RUNNING_EXPRESSION))
# pretend we are successful, so that NLP won't handle it
return True
if session.is_valid:
2018-07-21 00:46:34 +08:00
logger.debug(f'Session of command {session.cmd.name} exists')
2018-06-25 16:50:34 +08:00
session.refresh(ctx, current_arg=str(ctx['message']))
2018-07-01 11:01:24 +08:00
# there is no need to check permission for existing session
check_perm = False
2018-06-25 16:50:34 +08:00
else:
# the session is expired, remove it
2018-07-21 00:46:34 +08:00
logger.debug(f'Session of command {session.cmd.name} is expired')
2018-08-21 22:31:22 +08:00
if ctx_id in _sessions:
del _sessions[ctx_id]
2018-06-25 16:50:34 +08:00
session = None
2018-08-21 22:31:22 +08:00
2018-06-25 16:50:34 +08:00
if not session:
2018-08-19 19:11:08 +08:00
if not cmd:
logger.debug('Not a known command, ignored')
return False
if cmd.only_to_me and not ctx['to_me']:
2018-07-21 22:41:56 +08:00
logger.debug('Not to me, ignored')
2018-06-25 15:22:59 +08:00
return False
session = CommandSession(bot, ctx, cmd, current_arg=current_arg)
2018-07-21 00:46:34 +08:00
logger.debug(f'New session of command {session.cmd.name} created')
2018-08-21 22:31:22 +08:00
return await _real_run_command(session, ctx_id, check_perm=check_perm,
disable_interaction=disable_interaction)
2018-07-01 17:51:01 +08:00
2018-07-04 09:28:31 +08:00
async def call_command(bot: NoneBot, ctx: Dict[str, Any],
name: Union[str, Tuple[str]], *,
current_arg: str = '',
args: Optional[Dict[str, Any]] = None,
check_perm: bool = True,
disable_interaction: bool = False) -> bool:
2018-07-01 17:51:01 +08:00
"""
Call a command internally.
This function is typically called by some other commands
or "handle_natural_language" when handling NLPResult object.
Note: If disable_interaction is not True, after calling this function,
any previous command session will be overridden, even if the command
being called here does not need further interaction (a.k.a asking
the user for more info).
2018-07-01 20:01:05 +08:00
2018-07-04 09:28:31 +08:00
:param bot: NoneBot instance
2018-07-01 17:51:01 +08:00
:param ctx: message context
:param name: command name
:param current_arg: command current argument string
2018-07-01 17:51:01 +08:00
:param args: command args
:param check_perm: should check permission before running command
:param disable_interaction: disable the command's further interaction
2018-07-01 17:51:01 +08:00
:return: the command is successfully called
"""
cmd = _find_command(name)
if not cmd:
return False
session = CommandSession(bot, ctx, cmd, current_arg=current_arg, args=args)
2018-07-01 20:01:05 +08:00
return await _real_run_command(session, context_id(session.ctx),
check_perm=check_perm,
disable_interaction=disable_interaction)
2018-07-01 17:51:01 +08:00
async def _real_run_command(session: CommandSession,
ctx_id: str,
disable_interaction: bool = False,
**kwargs) -> bool:
if not disable_interaction:
2018-08-21 22:31:22 +08:00
# override session only when interaction is not disabled
_sessions[ctx_id] = session
2018-06-25 15:22:59 +08:00
try:
2018-07-21 00:46:34 +08:00
logger.debug(f'Running command {session.cmd.name}')
2018-07-21 23:52:14 +08:00
session.running = True
future = asyncio.ensure_future(session.cmd.run(session, **kwargs))
timeout = None
if session.bot.config.SESSION_RUN_TIMEOUT:
timeout = session.bot.config.SESSION_RUN_TIMEOUT.total_seconds()
try:
await asyncio.wait_for(future, timeout)
raise _FinishException(future.result())
except asyncio.TimeoutError:
# if timeout happens, we think the session is finished
raise _FinishException(True)
2018-06-26 08:49:08 +08:00
except _FurtherInteractionNeeded:
2018-07-22 21:47:39 +08:00
session.running = False
if disable_interaction:
# if the command needs further interaction, we view it as failed
return False
2018-07-21 00:46:34 +08:00
logger.debug(f'Further interaction needed for '
f'command {session.cmd.name}')
2018-06-25 15:22:59 +08:00
# return True because this step of the session is successful
return True
2018-07-24 23:59:45 +08:00
except (_FinishException, SwitchException) as e:
2018-07-21 23:52:14 +08:00
session.running = False
2018-07-22 21:47:39 +08:00
logger.debug(f'Session of command {session.cmd.name} finished')
2018-08-21 22:31:22 +08:00
if not disable_interaction and ctx_id in _sessions:
# the command is finished, remove the session,
# but if interaction is disabled during this command call,
# we leave the _sessions untouched.
2018-07-21 22:41:56 +08:00
del _sessions[ctx_id]
2018-07-24 23:59:45 +08:00
if isinstance(e, _FinishException):
return e.result
elif isinstance(e, SwitchException):
2018-08-21 22:31:22 +08:00
# we are guaranteed that the session is not first run here,
# which means interaction is definitely enabled,
# so we can safely touch _sessions here.
2018-07-24 23:59:45 +08:00
if ctx_id in _sessions:
# make sure there is no session waiting
del _sessions[ctx_id]
2018-07-25 22:50:08 +08:00
logger.debug(f'Session of command {session.cmd.name} switching, '
2018-07-24 23:59:45 +08:00
f'new context message: {e.new_ctx_message}')
raise e # this is intended to be propagated to handle_message()
def kill_current_session(bot: NoneBot, ctx: Dict[str, Any]) -> None:
"""
Force kill current session of the given context,
despite whether it is running or not.
:param bot: NoneBot instance
:param ctx: message context
"""
ctx_id = context_id(ctx)
if ctx_id in _sessions:
del _sessions[ctx_id]