diff options
| author |  jesopo | 2020-02-19 11:14:56 +0000 |
|---|---|---|
| committer | jesopo | 2020-02-19 11:14:56 +0000 |
| commit | df7928877058166e75e2ede8c3e633cafd478525 (patch) | |
| tree | 3286417355c6884a814aaa0b951a1510f6c62816 /src | |
| parent | simplify pruning quit/parted users (diff) | |
| signature | ||
channels should be cleared of users when *we* part them
Diffstat (limited to 'src')
| -rw-r--r-- | src/core_modules/line_handler/channel.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/core_modules/line_handler/channel.py b/src/core_modules/line_handler/channel.py index 1d1d5d61..4c9f001c 100644 --- a/src/core_modules/line_handler/channel.py +++ b/src/core_modules/line_handler/channel.py @@ -106,6 +106,9 @@ def part(events, event): user=user, server=event["server"]) else: event["server"].channels.remove(channel) + for user in channel.users: + event["server"].part_user(channel, user) + events.on("self.part").call(channel=channel, reason=reason, server=event["server"]) |