8212c51f8d
Makes sure that the Window-Id already generated and utilized by the server on the first request is used by subsequent requests instead of a new one. Also avoids that concurrent running id-less requests compete about which one may set his assigned id. Now any subsequent request already transmits the id assigned to the first one. And it resets `window.name` in case the user performs a manual refresh so that the id used by the server is set/utilized. refs #3609 |
||
---|---|---|
.. | ||
behavior | ||
eventlistener.js | ||
events.js | ||
history.js | ||
loader.js | ||
logger.js | ||
module.js | ||
timer.js | ||
timezone.js | ||
ui.js | ||
utils.js |