From ec75e1904d9d4c77d1a6c1c656e7deeae07a8804 Mon Sep 17 00:00:00 2001
From: Georg Ehrke <developer@georgehrke.com>
Date: Thu, 11 Jul 2013 12:28:41 +0200
Subject: [PATCH] make jenkins happy

---
 lib/preview/unknown.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/lib/preview/unknown.php b/lib/preview/unknown.php
index 4e1ca7de741..a31b365722e 100644
--- a/lib/preview/unknown.php
+++ b/lib/preview/unknown.php
@@ -22,7 +22,11 @@ class Unknown extends Provider {
 
 		$iconsroot = \OC::$SERVERROOT . '/core/img/filetypes/';
 
-		$icons = array($mimetype, $type, 'text');
+		if(isset($type)){
+			$icons = array($mimetype, $type, 'text');
+		}else{
+			$icons = array($mimetype, 'text');
+		}
 		foreach($icons as $icon) {
 			$icon = str_replace('/', '-', $icon);
 
-- 
2.39.5