mysql core-file选项