mysql.rds_kill_query_id
MariaDB サーバーに対して実行中のクエリを終了します。
構文
CALL mysql.rds_kill_query_id(queryID);
パラメータ
- queryID
-
整数. 終了するクエリの識別子。
使用に関する注意事項
MariaDB サーバーに対して実行中のクエリを停止するには、mysql.rds_kill_query_id
プロシージャを使用して、そのクエリの ID を渡します。クエリ ID を取得するには、次に示すように、MariaDB の 情報スキーマ PROCESSLIST テーブル
SELECT USER, HOST, COMMAND, TIME, STATE, INFO, QUERY_ID FROM INFORMATION_SCHEMA.PROCESSLIST WHERE USER = '<user name>';
MariaDB サーバーへの接続は保持されます。
例
次の例では、230040 のクエリ ID を持つクエリを終了します。
call mysql.rds_kill_query_id(230040);