database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
Code Activity

Bug #11750043 40340: USE GZIPPED CORE FILES TO SAVE SPACE

Browse Source 
Use [g]zip on core file if available, ignore if not
Skip if running named test, and print a line saying what it compressed.
This commit is contained in:
Bjorn Munch
2011-05-25 10:58:33 +02:00
parent 829a418a53
commit d7334d8d85
2 changed files with 37 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
mysql-test/mysql-test-run.pl
View File

@ -657,6 +657,8 @@ sub run_test_server ($$$) {
mtr_report(" - deleting it, already saved",
"$opt_max_save_core");
unlink("$core_file");
} else {
mtr_compress_file($core_file) unless @opt_cases;
}
++$num_saved_cores;
}