added date of .err file

populate.sh

+#!/bin/sh
+mvn -q exec:java -Dexec.mainClass=info.kwarc.mmt.errorview.PopulateDB \
+-Dexec.args="errors.db /var/data/localmh/MathHub/"

src/main/resource/static/search.js

@@ -5,6 +5,7 @@ angular.module('searchApp', []).controller('SearchController',
       , errLevel : { x : true, long : 'level', search : '' }
       , errType : { x : false, long : 'error type', search : '' }
       , fileName : { x : true, long : 'file name', search : '' }
+      , fileDate : { x : false, long : 'modified', search : '' }
       , target : { x : true, long : 'target', search : '' }
       , sourceRef : { x : true, long : 'source', search : '' }
       , shortMsg : { x : true, long : 'short message', search : '' }

src/main/scala/ParseXML.scala

 package info.kwarc.mmt.errorview
 
 import java.io.File
+import java.text.SimpleDateFormat
+import java.util.Date
 
 import org.slf4j.{Logger, LoggerFactory}
 
@@ -37,7 +39,7 @@ class ParseXML(db: PopulateDB) {
       if (errs.isEmpty) log.info("no errors in: " + f)
       else errs map (x => procErr(f, x))
     }
-    else log.info("skipped: " + f)
+    else log.debug("skipped: " + f)
   }
 
   def procErr(f: File, x: Node): Unit = {
@@ -56,7 +58,9 @@ class ParseXML(db: PopulateDB) {
     val trace: String = (stacks map (e => (e.child map (_.text)).mkString("\n"))).mkString("\n")
     val rest: String = (others map (_.text)).mkString
     // see Table.columns for the proper argument order
-    val vs = List(f.getPath, tgt, srcRef, errType, shortMsg, level, rest, trace)
+    val vs = List(f.getPath,
+      (new SimpleDateFormat("yyyy-MM-dd HH:mm")).format(new Date(f.lastModified)),
+      tgt, srcRef, errType, shortMsg, level, rest, trace)
     assert(vs.length == Table.columns.length)
     db.insertRow(vs)
     val elems = others filter (_.isInstanceOf[Elem])

src/main/scala/Table.scala

@@ -5,7 +5,7 @@ import org.apache.camel.impl.DefaultCamelContext
 import org.sqlite.SQLiteDataSource
 
 object Table {
-  val columns = List("fileName", "target", "sourceRef", "errType", "shortMsg", "errLevel", "longMsg", "stackTrace")
+  val columns = List("fileName", "fileDate", "target", "sourceRef", "errType", "shortMsg", "errLevel", "longMsg", "stackTrace")
   val name = "errors"
 
   def initArgs(args: scala.Array[String]): (DefaultCamelContext, String) = {