From b8c68fcb9eacd5652047f7fdd763e835f65b5951 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Tue, 15 Mar 2011 20:37:51 +0100
Subject: [PATCH] remove explorer for __directory

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 conf/type/__directory/gencode | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/conf/type/__directory/gencode b/conf/type/__directory/gencode
index 08429b14..99a89bd1 100755
--- a/conf/type/__directory/gencode
+++ b/conf/type/__directory/gencode
@@ -37,13 +37,8 @@ if ! $(echo "$destination" | grep -q ^/); then
    exit 1
 fi
 
-if [ -f "$__object/parameter/source" ]; then
-   echo "Source not supported for directory currently - FIXME" >&2
-   exit 1
-else
-   if [ no = "$(cat "$__object/explorer/exists")" ]; then
-      echo mkdir \"$destination\"
-   fi
+if [ no = "$(cat "$__object/explorer/exists")" ]; then
+   echo mkdir \"$destination\"
 fi