csbase.servlet

Class DownloadServlet

java.lang.Object

javax.servlet.GenericServlet

javax.servlet.http.HttpServlet

csbase.servlet.DownloadServlet

All Implemented Interfaces:

java.io.Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig

public class DownloadServlet
extends javax.servlet.http.HttpServlet

Servlet de download.

Author:

Tecgraf/PUC-Rio

See Also:

Serialized Form

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
DownloadServlet()

Method Summary

Modifier and Type	Method and Description
protected void	doGet(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response) O Servlet espera uma URL do tipo: http://servidor:8080/documentservice/download/numero/download
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()
void	init(javax.servlet.ServletConfig config)
protected boolean	loadPropertiesFile() Carrega as propriedades definidas no arquivo de propriedade.

Methods inherited from class javax.servlet.http.HttpServlet

doDelete, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, service

Methods inherited from class javax.servlet.GenericServlet

destroy, getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, log, log

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PROPERTIES_DIR

protected static final java.lang.String PROPERTIES_DIR

Diretório dentro de tomcat/webapps/[sistema] para onde será copiado o arquivo de propriedades.

See Also:

Constant Field Values

PROPERTIES_FILE

protected static final java.lang.String PROPERTIES_FILE

Arquivo com as propriedades do sistema, mantido pelo administrador. Este arquivo é copiado para dentro do diretório PROPERTIES_DIR pelo script de inicialização do servidor.

See Also:

Constant Field Values

Constructor Detail

DownloadServlet

public DownloadServlet()

Method Detail

init

public void init(javax.servlet.ServletConfig config)
          throws javax.servlet.ServletException

Specified by:

init in interface javax.servlet.Servlet

Overrides:

init in class javax.servlet.GenericServlet

Throws:

javax.servlet.ServletException

doGet

protected void doGet(javax.servlet.http.HttpServletRequest request,
                     javax.servlet.http.HttpServletResponse response)
              throws javax.servlet.ServletException

O Servlet espera uma URL do tipo: http://servidor:8080/documentservice/download/numero/download

Parameters:

request - requisição

response - resposta

Throws:

javax.servlet.ServletException - em caso de falha do servlet

init

public void init()
          throws javax.servlet.ServletException

Overrides:

init in class javax.servlet.GenericServlet

Throws:

javax.servlet.ServletException

getProperty

protected java.lang.String getProperty(java.lang.String key)

Retorna o valor associado à propriedade.

Parameters:

key - nome da propriedade

Returns:

valor associado à propriedade, ou null caso esta não tenha sido definida.

getProperty

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.

Parameters:

key - nome da propriedade

defaultValue - valor default

Returns:

valor associado à propriedade ou o valor default caso esta não tenha sido definida

getRMIpath

protected java.lang.String getRMIpath()

Obtém o path RMI para o servidor no formato rmi://IP_SERVIDOR:PORTA_RMI/ .

Returns:

path RMI para o servidor

See Also:

getServerAddress(), getServerRMIport()

getServerName

protected java.lang.String getServerName()

Obtém o nome do servidor. Obtido da propriedade .

Returns:

nome do servidor

getServerAddress

protected java.lang.String getServerAddress()

Obtém o endereço IP do servidor. Obtido da propriedade .

Returns:

endereço IP do servidor

getServerRMIport

protected java.lang.String getServerRMIport()

Obtém a porta RMI para comunicação com o servidor. Obtido da propriedade . Como esta propriedade pode não ter sido definida, temos um fallback para o default .

Returns:

porta para comunicação RMI com o servidor

getClientRMIport

protected java.lang.String getClientRMIport()

Obtém a porta RMI para comunicação com o servidor. Obtido da propriedade . Como esta propriedade pode não ter sido definida, temos um fallback para o default .

Returns:

porta para comunicação RMI com o servidor

loadPropertiesFile

protected boolean loadPropertiesFile()

Carrega as propriedades definidas no arquivo de propriedade.

Returns:

true se as propriedades foram carregadas e false caso contrário.

hasPropertiesFile

protected boolean hasPropertiesFile()

Verifica se as proprieades foram carregadas.

Returns:

true se as propriedades foram carregadas e false caso contrário