[Maria-developers] WL#126 New (by Monty): Sync also maria_control_file when doing a flush tables