Exact definition of "idleness" - when is a shiny app "idle" when talking about session timeouts?

[Dean Attali]

Q1:

From the official shiny server docs:

 "idleness" is measured by a connection's interaction with the server. Incoming or outgoing data will reset the countdown time for each user's session

I was wondering what is the technical definition of interaction/incoming/outgoing data. Does it mean that any whenever any information is passed either from the client to the server or from the server to the client, that's what counts as activity?

The 'shiny.trace' option can show all message exchanges between the R server and the client - so is this synonymous with the activity that counts towards idleness? Every time we see a message going between client <> server -- a message that shows up in shiny.trace -- then that's exactly when the timeout timer resets?

Q2:

In the event that session timeout is set to 1 minute and the server is calculating something that takes 2 minutes, does the session timeout?

Q3:

For Open Source Server, is the value for session timeout set to 0?

[Joe Cheng]

Q1: When a message is first received from the client, the session timer is cleared and not started. Then Shiny runs its flushReact. After that has completed, then the session timer is started.

Q2: No, it's OK, as long as the calculation is in direct response to a message being received from the client then the timer will not be counting down while the calculation is occurring.

Q3: There's no session timeout code at all in the Open Source version. This feature is mostly important for the Pro version (and ShinyApps.io) because our license is based on number of concurrent users.

--
You received this message because you are subscribed to the Google Groups "Shiny - Web Framework for R" group.
To unsubscribe from this group and stop receiving emails from it, send an email to shiny-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/shiny-discuss/79d103a4-af2a-4d72-8ba9-7a9170cd85ed%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.