From 9a5338f565e600e618cc4546abbf18d30d942b3a Mon Sep 17 00:00:00 2001
From: Antonio Gallo <tonicucoz@gmail.com>
Date: Sun, 5 Jun 2011 11:09:40 +0000
Subject: improved the way deleted devices are managed

---
 h-source/Application/Views/if_page_deleted.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'h-source/Application/Views/if_page_deleted.php')

diff --git a/h-source/Application/Views/if_page_deleted.php b/h-source/Application/Views/if_page_deleted.php
index 2d90632..1e2ab2d 100644
--- a/h-source/Application/Views/if_page_deleted.php
+++ b/h-source/Application/Views/if_page_deleted.php
@@ -20,7 +20,7 @@
 // along with h-source.  If not, see <http://www.gnu.org/licenses/>.
 ?>
 
-		<?php if (strcmp($isDeleted,'yes') === 0) { ?>
+		<?php if ($isDeleted) { ?>
 		
 		<div class="notebooks_viewall">
 			<div class="revision_alert">
-- 
cgit v1.2.3