--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.
