From 99c97c23ddf3290a078a0249833117a3b0e9e1cc Mon Sep 17 00:00:00 2001
From: laf <neil@lathwood.co.uk>
Date: Wed, 22 Apr 2015 20:54:25 +0100
Subject: [PATCH] Fixed user perms for eventlog dropdown

---
 html/pages/eventlog.inc.php | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/html/pages/eventlog.inc.php b/html/pages/eventlog.inc.php
index bd6743253..4e1cad13d 100644
--- a/html/pages/eventlog.inc.php
+++ b/html/pages/eventlog.inc.php
@@ -26,11 +26,12 @@ print_optionbar_start();
         <?php
           foreach (get_all_devices() as $hostname)
           {
-            echo("<option value='".getidbyname($hostname)."'");
-
-            if (getidbyname($hostname) == $_POST['device']) { echo("selected"); }
-
-            echo(">".$hostname."</option>");
+              $device_id = getidbyname($hostname);
+              if (device_permitted($device_id)) {
+                  echo("<option value='".$device_id."'");
+                  if ($device_id == $_POST['device']) { echo("selected"); }
+                  echo(">".$hostname."</option>");
+              }
           }
         ?>
       </select>