diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/src/main/resources/VAADIN/vaadinBootstrap.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/server/src/main/resources/VAADIN/vaadinBootstrap.js b/server/src/main/resources/VAADIN/vaadinBootstrap.js index a6830f434b..82e7482216 100644 --- a/server/src/main/resources/VAADIN/vaadinBootstrap.js +++ b/server/src/main/resources/VAADIN/vaadinBootstrap.js @@ -365,6 +365,12 @@ params += '&v-wn=' + encodeURIComponent(window.name); } + // This parameter is used in multiplatform-runtime as a key for + // storing the MPR UI content in the session + if (window.mprUiId) { + params += '&v-mui=' + encodeURIComponent(window.mprUiId); + } + // Detect touch device support var supportsTouch = false; try { |