From 15a8ff1c094e698e664873f6261a2752a73003e0 Mon Sep 17 00:00:00 2001
From: niansa <anton-sa@web.de>
Date: Tue, 3 Jul 2018 16:33:11 +0000
Subject: [PATCH] Update writehtml.sh

---
 writehtml.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/writehtml.sh b/writehtml.sh
index 642a7be..5bf0217 100644
--- a/writehtml.sh
+++ b/writehtml.sh
@@ -1,10 +1,7 @@
 #! /bin/bash
 
-# Überprüfe: Ist $FILE ein Verzeichniss und enthält es eine index.* ?
-# TODO
 
-
-# Überprüfe: Datei oder Verzeichniss?
+# Check: is it a directory or a file?
 if [[ "$FILE" == *.php ]]; then
 	export CONTENTTYPE="text/html"
 	. ./httpheaders.sh