JsonObject p = (JsonObject)options.get("params");
if(p!=null) {
for(Iterator<String> it= p.getJsonProperties(); it.hasNext(); ) {
String name = it.next();
String value = (String)p.getJsonProperty(name);
env.pushSessionParams(name, value);
}
}
String serverUrl = composeServerUrl(req);
String dbUrl = composeDatabaseUrl(req,serverUrl);