diff options
| author | 2020-02-19 11:14:33 +0000 | |
|---|---|---|
| committer | 2020-02-19 11:14:33 +0000 | |
| commit | 8ce7bd17ff22d3500503b39d4708d74f8340ea12 (patch) | |
| tree | c00beb601b74715c83801abd5a06df446dca362f /src/core_modules/line_handler/user.py | |
| parent | weeks and days should be absolute (divmod of days) (diff) | |
| signature | ||
simplify pruning quit/parted users
Diffstat (limited to 'src/core_modules/line_handler/user.py')
| -rw-r--r-- | src/core_modules/line_handler/user.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core_modules/line_handler/user.py b/src/core_modules/line_handler/user.py index 765d1da8..a5d407fb 100644 --- a/src/core_modules/line_handler/user.py +++ b/src/core_modules/line_handler/user.py @@ -27,9 +27,9 @@ def quit(events, event): if (not event["server"].is_own_nickname(nickname) and not event["line"].source.hostmask == "*"): user = event["server"].get_user(nickname) + event["server"].quit_user(user) events.on("received.quit").call(reason=reason, user=user, server=event["server"]) - event["server"].remove_user(user) else: event["server"].disconnect() else: |
