Changeset 1822 for trunk

Timestamp:

11/13/14 15:24:22 (10 years ago)

Author:

pharms

Message:

• extended log file with additional version infos of the monitor

File:

• trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java (modified) (2 diffs)

trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java

@@ -15 +15 @@
 package de.ugoe.cs.autoquest.htmlmonitor;
 
+import java.io.BufferedReader;
 import java.io.File;
 import java.io.FileOutputStream;
 import java.io.IOException;
+import java.io.InputStream;
+import java.io.InputStreamReader;
 import java.io.OutputStreamWriter;
 import java.io.PrintWriter;
@@ -458 +461 @@
         outputWriter.print("\" userAgent=\"");
         outputWriter.print(StringTools.xmlEntityReplacement(this.userAgent));
+        outputWriter.print("\" monitorInfos=\"");
+        outputWriter.print(StringTools.xmlEntityReplacement(getMonitorVersion()));
+        
         outputWriter.println("\">");
         
         loggedGUIElements.clear();
+    }
+
+    /**
+     * <p>
+     * parses the POM properties if accessible and returns them. If they are not available,
+     * unknown is returned.
+     * </p>
+     */
+    private String getMonitorVersion() {
+        InputStream properties = this.getClass().getClassLoader().getResourceAsStream
+            ("META-INF/maven/de.ugoe.cs.autoquest/autoquest-htmlmonitor/pom.properties");
+        
+        if (properties != null) {
+            try {
+                StringBuffer result = new StringBuffer();
+                BufferedReader reader = new BufferedReader(new InputStreamReader(properties));
+                
+                String line = null;
+                
+                do {
+                    line = reader.readLine();
+                    
+                    if (line != null) {
+                        if (result.length() > 0) {
+                            result.append("  ");
+                        }
+                        
+                        result.append(line);
+                    }
+                }
+                while (line != null);
+                
+                reader.close();
+                return result.toString();
+            }
+            catch (IOException e) {
+                return "unknown";
+            }
+        }
+        else {
+            return "unknown";
+        }
     }