diff --git a/pandora_console/extensions/ssh_gateway.php b/pandora_console/extensions/ssh_gateway.php deleted file mode 100644 index 9ddcf50f53..0000000000 --- a/pandora_console/extensions/ssh_gateway.php +++ /dev/null @@ -1,98 +0,0 @@ -"; - - $id_agente = get_parameter ("id_agente"); - - $ip = db_get_sql ("SELECT direccion FROM tagente WHERE id_agente = $id_agente"); - - if ($HOST == "") - $HOST = $ip; - - if (($HOST == "") OR ($USER == "")) { - if ($COMMIT == 1) { - ui_print_error_message(__("You need to specify a user and a host address")); - } - - echo "