TimeSavingElement

This is an element which saves the state of media playing, so the user can restore its play position very close from where he left in case of a problem with connection or with the server.

For example, if you serve a one-hour long media file, if something goes wrong (like: connection if lost, server restarts etc), you may want your viewers to restart viewing from where they left, not from the beginning. To achieve this, insert one of these elements.

Note: it makes a big difference between a global and a non-global element, as a global one would have the same state for all users, whereas a non-global one would have an individual state for each known user.

Parameters:

• optional bigint state_timeout_sec_
  • this determines (in seconds) when the state for this element expires after it was last used (we strongly advise to set this for non-global elements, else the state would explode)