mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
11 lines
298 B
Text
11 lines
298 B
Text
|
--source include/linux.inc
|
||
|
|
|
||
|
|
--echo #
|
||
|
|
--echo # MDEV-6756: map a linux pid (child pid) to a connection id shown in
|
||
|
|
--echo # the output of SHOW PROCESSLIST
|
||
|
|
--echo #
|
||
|
|
--connect (con1,localhost,root)
|
||
|
|
SELECT max(tid) != min(tid) FROM information_schema.processlist;
|
||
|
|
--connection default
|
||
|
|
--disconnect con1
|