public class InitServlet
extends javax.servlet.http.HttpServlet
A página construída é uma cópia de um página original, específica para cada
aplicação, na qual são modificados alguns parâmetros e incluídos outros.
Esses parâmetros são passados através da requisição (
HttpServletRequest) ou são obtidos do arquivo de propriedades (que deve ser copiado para o diretório
WEB-INF pelo script de inicialização do sistema).
A página original deve existir na mesma URL base deste servlet. O nome da página pode ser fornecido através do parâmetro page. Se o nome não for fornecido, é assumido index.jnlp.
Este servlet trata os seguintes marcadores (em parênteses o nome da propriedade correspondente, quando aplicável):
server_host_name (Server.hostName) : nome do
servidor.
server_host_addr (Server.hostAddr) : endereço
IP do servidor.
server_port_http : porta HTTP do servidor. É obtido
diretamente do request feito ao servlet.
server_port_rmi (ver método getServerRMIport()):
porta RMI do servidor. É o único parãmetro que pode não estar definido na URL
nem no arquivo de propriedades (neste caso o valor default 1099 será usado).
client_addr : endereço IP do cliente. É obtido diretamente
do request feito ao servlet.
IMPORTANTE:
href.
Caso contrário o Java WebStart tentará obter o arquivo diretamente do Tomcat,
sem passar pelo servlet, e as traduções não serão aplicadas
codebase nem href nas suas tags <jnlp>, pelo
mesmo motivo acima
| Modifier and Type | Field and Description |
|---|---|
protected static java.lang.String |
PROPERTIES_DIR
Diretório dentro de
tomcat/webapps/[sistema] para onde será
copiado o arquivo de propriedades. |
protected static java.lang.String |
PROPERTIES_FILE
Arquivo com as propriedades do sistema, mantido pelo administrador.
|
| Constructor and Description |
|---|
InitServlet() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
doGet(javax.servlet.http.HttpServletRequest request,
javax.servlet.http.HttpServletResponse response)
Constrói e retorna uma página JNLP, usando as informações fornecidas.
|
protected java.lang.String |
getClientRMIport()
Obtém a porta RMI para comunicação com o servidor.
|
protected java.lang.String |
getProperty(java.lang.String key)
Retorna o valor associado à propriedade.
|
protected java.lang.String |
getProperty(java.lang.String key,
java.lang.String defaultValue)
Retorna o valor associado à propriedade ou um valor default, caso esta não
tenha sido definida.
|
protected java.lang.String |
getRMIpath()
Obtém o path RMI para o servidor no formato
rmi://IP_SERVIDOR:PORTA_RMI/ . |
protected java.lang.String |
getServerAddress()
Obtém o endereço IP do servidor.
|
protected java.lang.String |
getServerName()
Obtém o nome do servidor.
|
protected java.lang.String |
getServerRMIport()
Obtém a porta RMI para comunicação com o servidor.
|
protected boolean |
hasPropertiesFile()
Verifica se as proprieades foram carregadas.
|
void |
init() |
protected boolean |
loadPropertiesFile()
Carrega as propriedades definidas no arquivo de propriedade.
|
doDelete, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, serviceprotected static final java.lang.String PROPERTIES_DIR
tomcat/webapps/[sistema] para onde será
copiado o arquivo de propriedades.protected static final java.lang.String PROPERTIES_FILE
PROPERTIES_DIR pelo
script de inicialização do servidor.protected void doGet(javax.servlet.http.HttpServletRequest request,
javax.servlet.http.HttpServletResponse response)
throws java.io.IOException,
javax.servlet.ServletException
request - informações sobre a requisição.response - informações sobre a resposta.java.io.IOException - em caso de erro de I/Ojavax.servlet.ServletException - no caso de erro no servlet.public void init()
throws javax.servlet.ServletException
init in class javax.servlet.GenericServletjavax.servlet.ServletExceptionprotected java.lang.String getProperty(java.lang.String key)
key - nome da propriedadenull caso esta não
tenha sido definida.protected java.lang.String getProperty(java.lang.String key,
java.lang.String defaultValue)
key - nome da propriedadedefaultValue - valor defaultprotected java.lang.String getRMIpath()
rmi://IP_SERVIDOR:PORTA_RMI/ .getServerAddress(),
getServerRMIport()protected java.lang.String getServerName()
protected java.lang.String getServerAddress()
protected java.lang.String getServerRMIport()
protected java.lang.String getClientRMIport()
protected boolean loadPropertiesFile()
protected boolean hasPropertiesFile()
Copyright © 2016. All Rights Reserved.