Add get servers from the type filter. TICKET: #1855

pandora_console/godmode/servers/modificar_server.php

@@ -88,7 +88,7 @@ else {
 			ui_print_success_message(__('Successfully action'));
 		}
 	}
-
+	
 	if (isset ($_GET["delete"])) {
 		$id_server = get_parameter_get ("server_del");
 		

pandora_console/include/functions_servers.php

@@ -664,6 +664,10 @@ function servers_get_info ($id_server = -1) {
 	return $return;
 }
 
+function servers_get_servers_type($type) {
+	return db_get_all_rows_filter('tserver', array('server_type' => $type));
+}
+
 /**
  * Get the server name.
  *