This version add an error message in case an unrecognized player option is defined in the configuration file.
(version ..7 corresponding to the revision 7 of the code on github)
This version add an error message in case an unrecognized player option is defined in the configuration file.
(version ..7 corresponding to the revision 7 of the code on github)