--echo # -- --echo # -- Bug#19392264: SERVER CRASH WHEN SPECIFYING EMPTY --GENERAL-LOG-FILE --echo # -- OPTION --echo # -- --echo # Before fix, server should crash. After fix server has to start --echo # successfully with the options provided in general_log-master.opt file.