public class InitHtmlServlet
extends javax.servlet.http.HttpServlet
| 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 |
|---|
InitHtmlServlet() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
doGet(javax.servlet.http.HttpServletRequest request,
javax.servlet.http.HttpServletResponse response)
Constrói uma página HTML de entrada do sistema.
|
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 - requisição.response - respostajava.io.IOException - em caso de falha de I/O.javax.servlet.ServletException - em caso de falha 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 © 2018. All Rights Reserved.