mysql.rds_kill_query_id

Termine une requête s'exécutant sur le serveur MariaDB.

Syntaxe

CALL mysql.rds_kill_query_id(queryID);

Paramètres

queryID

Entier : L'identité de la requête à terminer.

Notes d'utilisation

Pour arrêter une requête s'exécutant sur le serveur MariaDB, utilisez la procédure mysql.rds_kill_query_id et transmettez-lui l'ID de cette requête. Pour obtenir l'ID de requête, interrogez Information Schema PROCESSLIST Table de MariaDB, comme indiqué ci-après :

SELECT USER, HOST, COMMAND, TIME, STATE, INFO, QUERY_ID FROM 
                INFORMATION_SCHEMA.PROCESSLIST WHERE USER = '<user name>';

La connexion au serveur MariaDB est conservée.

Exemples

L'exemple suivant termine une requête avec un ID de requête 230040 :

call mysql.rds_kill_query_id(230040);