Index: trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorLogManager.java
===================================================================
--- trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorLogManager.java	(revision 1541)
+++ trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorLogManager.java	(revision 1746)
@@ -127,5 +127,6 @@
                     if (writer == null) {
                         writer = new HtmlMonitorOutputWriter
-                            (logFileBaseDir, clientInfos.getWebAppId(), clientInfos.getClientId());
+                            (logFileBaseDir, clientInfos.getWebAppId(),
+                             clientInfos.getClientId(), clientInfos.getUserAgent());
 
                         writer.init();
Index: trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java
===================================================================
--- trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java	(revision 1541)
+++ trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java	(revision 1746)
@@ -74,4 +74,9 @@
 
     /**
+     * the user agent used by the client
+     */
+    private String userAgent;
+
+    /**
      * the log file into which all messages are currently written
      */
@@ -105,5 +110,9 @@
      * @param clientId       the ID of the client, for which this writer logs
      */
-    public HtmlMonitorOutputWriter(String logFileBaseDir, String webAppId, String clientId) {
+    public HtmlMonitorOutputWriter(String logFileBaseDir,
+                                   String webAppId,
+                                   String clientId,
+                                   String userAgent)
+    {
         if (logFileBaseDir == null) {
             this.logFileBaseDir = new File(DEFAULT_LOG_FILE_BASE_DIR);
@@ -115,4 +124,5 @@
         this.webAppId = webAppId;
         this.clientId = clientId;
+        this.userAgent = userAgent;
         
         lastUpdate = System.currentTimeMillis();
@@ -442,5 +452,11 @@
         outputWriter = new PrintWriter(new OutputStreamWriter(fis, "UTF-8"));
         outputWriter.println("<?xml version=\"1.0\" encoding=\"UTF-8\"?>");
-        outputWriter.println("<session>");
+        outputWriter.print("<session webapp=\"");
+        outputWriter.print(StringTools.xmlEntityReplacement(this.webAppId));
+        outputWriter.print("\" clientId=\"");
+        outputWriter.print(StringTools.xmlEntityReplacement(this.clientId));
+        outputWriter.print("\" userAgent=\"");
+        outputWriter.print(StringTools.xmlEntityReplacement(this.userAgent));
+        outputWriter.println("\">");
         
         loggedGUIElements.clear();