deleting entries for error and source files

src/main/scala/DeleteRows.scala

+package info.kwarc.mmt.errorview
+
+import org.apache.camel.scala.dsl.builder.RouteBuilder
+
+class DeleteRows extends RouteBuilder {
+  val deleteRoute = "direct:deleteRow"
+  val sourceDeleted = "direct:deleteSource"
+
+  def deleteRows(f: String): Unit = {
+    getContext.createProducerTemplate().sendBody(deleteRoute, f)
+    getContext.createProducerTemplate().sendBody(sourceDeleted, "%" + f + "%")
+
+  }
+
+  deleteRoute -->
+    ("db:DELETE FROM " + Table.name + " WHERE fileName=#")
+  sourceDeleted -->
+    ("db:DELETE FROM " + Table.name + " WHERE sourceRef LIKE #")
+}
+
+object DeleteRows {
+
+  def main(args: scala.Array[String]): Unit = {
+    val (context, filename) = Table.initArgs(args)
+    val dbBuilder = new DeleteRows()
+    context.addRoutes(dbBuilder)
+    context.start()
+    dbBuilder.deleteRows(filename)
+  }
+}