"; $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) { echo "

".__("You need to specify a user and a host address")."

"; } echo "
"; echo ""; echo ""; echo ""; echo "
".__("Host address").""; echo "
".__("User").""; echo "
".__("Port (use 0 for default)").""; echo "
"; echo __("Connect mode").""; echo "   "; echo ""; echo "
"; } else { if ($MODE == "telnet") { if ($PORT == 0) $PORT = 23; } else { if ($PORT == 0) $PORT = 22; } if ($MODE == "ssh") echo ""; } } ?>