From b7588aa47f5fb8156b7829dfa69d184804e71893 Mon Sep 17 00:00:00 2001
From: Marcel Partap <mpartap@gmx.net>
Date: Wed, 16 Nov 2011 18:19:32 +0100
Subject: [PATCH] devel_empty_dir(): Avoid attempting to unlink . and ..

---
 devel.module |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/devel.module b/devel.module
index 47b8ea8..3f1f0d6 100644
--- a/devel.module
+++ b/devel.module
@@ -1835,7 +1835,9 @@ function ddebug_backtrace() {
 // Delete all files in a dir. http://www.plus2net.com/php_tutorial/php-files-delete.php
 function devel_empty_dir($dir) {
   foreach (new DirectoryIterator($dir) as $fileInfo) {
-    unlink($fileInfo->getPathname());
+    if ($fileInfo->isFile()) {
+      unlink($fileInfo->getPathname());
+    }
   }
 }
 
-- 
1.7.8.rc1