From 769f6b95c15a572663253bdb0ac4f8c22c89511e Mon Sep 17 00:00:00 2001
From: Mickael Marchand <mmarchand@corp.free.fr>
Date: Mon, 11 May 2015 09:43:20 +0200
Subject: [PATCH] rewritten to check for input type

---
 html/pages/device.inc.php | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/html/pages/device.inc.php b/html/pages/device.inc.php
index 9dcf277de..0e2c166b2 100644
--- a/html/pages/device.inc.php
+++ b/html/pages/device.inc.php
@@ -6,10 +6,8 @@ if ($vars['tab'] == "port" && is_numeric($vars['device']) && port_permitted($var
   $permit_ports = 1;
 }
 
-$device  = device_by_id_cache($vars['device']);
-if (!$device) {
+if (!is_numeric($vars['device'])) {
   $vars['device'] = device_by_name($vars['device']);
-  $device  = device_by_id_cache($vars['device']);
 }
 
 if (device_permitted($vars['device']) || $check_device == $vars['device'])
@@ -25,6 +23,7 @@ if (device_permitted($vars['device']) || $check_device == $vars['device'])
 
   $select[$tab] = "active";
 
+  $device  = device_by_id_cache($vars['device']);
   $attribs = get_dev_attribs($device['device_id']);
 
   $entity_state = get_dev_entity_state($device['device_id']);