some hacky changes to device.php to display port

git-svn-id: http://www.observium.org/svn/observer/trunk@1430 61d68cd4-352d-0410-923a-c4978735b2b8

html/includes/functions.inc.php

@@ -109,6 +109,7 @@ function print_graph_popup($graph_array)
 }
 
 
+
 function permissions_cache($user_id) {
   $permissions = array();
   $query = mysql_query("SELECT * FROM devices_perms WHERE user_id = '".$user_id."'");