Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

server: a better way to handle killed connection #32809

Merged
merged 3 commits into from
Mar 15, 2022
Merged

server: a better way to handle killed connection #32809

merged 3 commits into from
Mar 15, 2022

Commits on Mar 3, 2022

  1. Revert "server: fix show problem for kill tidb connection (pingcap#24031 

    ) (pingcap#29212)"

This reverts commit 52c6890.
    @bb7133
    bb7133 committed Mar 3, 2022
    Configuration menu
    Copy the full SHA
    97ac2a7 View commit details
    Browse the repository at this point in the history

  2. server: a better way to handle killed connection

    @bb7133
    bb7133 committed Mar 3, 2022
    Configuration menu
    Copy the full SHA
    d06ee56 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2022

  1. Merge branch 'master' into bb7133/fix_kill

    @ti-chi-bot
    ti-chi-bot authored Mar 15, 2022
    Configuration menu
    Copy the full SHA
    159fa8d View commit details
    Browse the repository at this point in the history