From 007e587d5506a58eb5a69729340b9a048d62f425 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Tue, 17 Oct 2017 16:46:40 +0200
Subject: [PATCH] empty map contains valid directory entry (removing it will
not remove all maps)
---
frontend-js/.idea/frontend-js.iml | 2 ++
persist/src/db/11.0.3/fix_db_20171017.sql | 1 +
2 files changed, 3 insertions(+)
create mode 100644 persist/src/db/11.0.3/fix_db_20171017.sql
diff --git a/frontend-js/.idea/frontend-js.iml b/frontend-js/.idea/frontend-js.iml
index 69ef67a424..832c99755b 100644
--- a/frontend-js/.idea/frontend-js.iml
+++ b/frontend-js/.idea/frontend-js.iml
@@ -9,5 +9,7 @@
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
+ <orderEntry type="library" name="chai-DefinitelyTyped" level="application" />
+ <orderEntry type="library" name="js-cookie-DefinitelyTyped" level="application" />
</component>
</module>
\ No newline at end of file
diff --git a/persist/src/db/11.0.3/fix_db_20171017.sql b/persist/src/db/11.0.3/fix_db_20171017.sql
new file mode 100644
index 0000000000..bb3206743b
--- /dev/null
+++ b/persist/src/db/11.0.3/fix_db_20171017.sql
@@ -0,0 +1 @@
+UPDATE project_table SET directory = 'a2e4822a98337283e39f7b60acf85ec9' WHERE project_id='empty' and (directory is null or directory='.');
--
GitLab