/**
* Parses and sets a single database option.
*
* @param session REST session
* @param param current parameter
* @param force force execution
* @return success flag, indicates if value was found
* @throws BaseXException database exception
*/
static boolean parseOption(
final RESTSession session, final Entry<String, String[]> param, final boolean force)
throws BaseXException {
final String key = param.getKey().toUpperCase(Locale.ENGLISH);
final MainOptions options = session.context.options;
final boolean found = options.option(key) != null;
if (found || force) options.assign(key, param.getValue()[0]);
return found;
}
