Shorthost should return full IP addresses

Using filter_var to simply return the hostname if it is an IP address.

includes/common.php

@@ -32,6 +32,10 @@ function external_exec($command)
 
 function shorthost($hostname, $len=12)
 {
+  # IP addresses should not be shortened
+  if (filter_var($hostname, FILTER_VALIDATE_IP))
+    return $hostname;
+  
   $parts = explode(".", $hostname);
   $shorthost = $parts[0];
   $i = 1;