From 05c0eb075bafa83f3dc4c07ac5cbce51457cc4e8 Mon Sep 17 00:00:00 2001
From: Tom Laermans <tom@localhost>
Date: Wed, 23 Jun 2010 16:40:24 +0000
Subject: [PATCH] show friendly OS text in device dropdown

git-svn-id: http://www.observium.org/svn/observer/trunk@1253 61d68cd4-352d-0410-923a-c4978735b2b8
---
 html/pages/devices.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/pages/devices.php b/html/pages/devices.php
index 104fd0269..488579fe5 100644
--- a/html/pages/devices.php
+++ b/html/pages/devices.php
@@ -17,7 +17,7 @@
               {
                 echo("<option value='".$data['os']."'");
                 if ($data['os'] == $_POST['os']) { echo(" selected"); }
-                echo(">".$data['os']."</option>");
+                echo(">".$os_text[$data['os']]."</option>");
               }
             }
           ?>