From 4314457180c74284d833d109b225bca8e7c41c69 Mon Sep 17 00:00:00 2001
From: cmaeder <c.maeder@jacobs-university.de>
Date: Tue, 24 Feb 2015 21:30:05 +0100
Subject: [PATCH] deleting entries for error and source files
---
src/main/scala/DeleteRows.scala | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
create mode 100644 src/main/scala/DeleteRows.scala
diff --git a/src/main/scala/DeleteRows.scala b/src/main/scala/DeleteRows.scala
new file mode 100644
index 0000000..0a2e7db
--- /dev/null
+++ b/src/main/scala/DeleteRows.scala
@@ -0,0 +1,30 @@
+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)
+ }
+}
--
GitLab