The USER_AGENT timeout element

With the Genero Web Client, the USER_AGENT timeout element proves to be particularly useful.

As with the other Front End clients, when a user properly exits an application, the DVM handling that application is properly shut down and the license that the application consumed is released back into the Genero license application pool. When the user does not properly exit the application, however, the DVM remains alive and continues to consume a license even though the Front End client has died. This can occur with the Genero Web Client when a user closes the browser instead of properly exiting the application; the Front End client has no mechanism to tell the Genero Application Server that the user has closed his browser. Because of theUSER_AGENT timeout, however, the USER_AGENT timeouts and Genero Application Server unilaterally close the socket to the DVM, which causes the DVM to shut down and the license to be released.