mirror of
https://github.com/MariaDB/server.git
synced 2026-04-22 00:05:33 +02:00
- Only read *.pid - Only allow it to contain a number mysql-test/lib/mtr_io.pl: Check that the value read from pidfile is a valid number consisting only of digits mysql-test/lib/mtr_process.pl: Only process .pid files in var/run dir and print a warning if other files are found there. |
||
|---|---|---|
| .. | ||
| init_db.sql | ||
| mtr_cases.pl | ||
| mtr_diff.pl | ||
| mtr_gcov.pl | ||
| mtr_gprof.pl | ||
| mtr_im.pl | ||
| mtr_io.pl | ||
| mtr_match.pl | ||
| mtr_misc.pl | ||
| mtr_process.pl | ||
| mtr_report.pl | ||
| mtr_stress.pl | ||
| mtr_timer.pl | ||