Detecting GWT permutation on server based on user agent
I'm currently working on adding HTML5 offline support to my web application, and am mostly following the same approach of mgwt: Generate manifest files per permutation at compulation time Using a servlet to serve the manifest file, based on the user-agent of the browser. My question involves step 2: In my servlet, I want to detect which permutation to serve for a certain request. The way I do this now is: Get the user agent string from the request Map this (using simple string operations (e.g. userAgent.contains("safari") ) to the 'agent id', which I can map using a mapping file to the