# HG changeset patch # User Benjamin Golinvaux # Date 1558374913 -7200 # Node ID 633bb89d4a6e84114e364869b0db2d8090402c45 # Parent df728632050768d2832e7b5404dddee1ad3ae78d Fixes to auxiliary parameters management diff -r df7286320507 -r 633bb89d4a6e Platforms/Wasm/wasm-application-runner.ts --- a/Platforms/Wasm/wasm-application-runner.ts Mon May 20 19:06:45 2019 +0200 +++ b/Platforms/Wasm/wasm-application-runner.ts Mon May 20 19:55:13 2019 +0200 @@ -73,23 +73,29 @@ CreateWasmApplication(); - // transmit the API-specified parameters to the app before initializing it - for (let key in auxiliaryParameters) { - if (auxiliaryParameters.hasOwnProperty(key)) { - Logger.defaultLogger.debug( - `About to call SetStartupParameter("${key}","${auxiliaryParameters[key]}")`); - SetStartupParameter(key, auxiliaryParameters[key]); + // parse uri and transmit the URI parameters to the app before initializing it + let parameters = GetUriParameters(); + + // merge params but give priority to URI parameters + var resultingParams : Map; + + if (auxiliaryParameters == null) { + resultingParams = new Map(); + } else { + resultingParams = auxiliaryParameters; + } + + for (let key in parameters) { + if (parameters.hasOwnProperty(key)) { + resultingParams[key] = parameters[key] } } - // parse uri and transmit the URI parameters to the app before initializing it - let parameters = GetUriParameters(); - - for (let key in parameters) { - if (parameters.hasOwnProperty(key)) { + for (let key in resultingParams) { + if (resultingParams.hasOwnProperty(key)) { Logger.defaultLogger.debug( - `About to call SetStartupParameter("${key}","${parameters[key]}")`); - SetStartupParameter(key, parameters[key]); + `About to call SetStartupParameter("${key}","${resultingParams[key]}")`); + SetStartupParameter(key, resultingParams[key]); } }