From f7ad4a3cb4ef8a888f69febc9b94d747645a3906 Mon Sep 17 00:00:00 2001
From: Stephan Porada <sporada@uni-bielefeld.de>
Date: Wed, 17 Apr 2019 14:50:05 +0200
Subject: [PATCH] Change name of documentation file.

---
 ...orming.md => platform_basics_brainstorming_2019-04-17.md} | 5 +++++
 1 file changed, 5 insertions(+)
 rename docs/{2019-04-17_technology_basics_brainstorming.md => platform_basics_brainstorming_2019-04-17.md} (90%)

diff --git a/docs/2019-04-17_technology_basics_brainstorming.md b/docs/platform_basics_brainstorming_2019-04-17.md
similarity index 90%
rename from docs/2019-04-17_technology_basics_brainstorming.md
rename to docs/platform_basics_brainstorming_2019-04-17.md
index d6b357e8..6486a050 100644
--- a/docs/2019-04-17_technology_basics_brainstorming.md
+++ b/docs/platform_basics_brainstorming_2019-04-17.md
@@ -8,6 +8,7 @@
         - AlterJob
     - Scheduling
     - Ressource management
+- manages also files on file server 
 
 ## Web Server
 - serves content.
@@ -32,3 +33,7 @@
 ## File Server
 - stores user input and
 - output files
+- Maybe WebDAV
+
+## Database
+- document based data base like mongoDB preferred
-- 
GitLab