#------------------------------------------------------------------------------
# Web Container Configuration
#------------------------------------------------------------------------------
#
#   app.path: relative path the application will be accesible under
#   manager.username: username of web container manager for installing the app
#   manager.password: the password of the web container manager
#   manager.url: absolute path to the web container managment interface
#
app.name=dspace
app.path=/${app.name}
manager.username=admin
manager.password=admin
manager.url=http://localhost:8080/manager

#Comma separated list of hosts authorized to use remote manager in HTTP mode
dspace.remoteManager.authorizedHosts=127.0.0.1

#Added by Jpereira to enable the use of the RMI Server
#Should we start the Fenix RMI Server? 0 to disable, 1 to enable
dspace.start.rmi.server=1
#And should we start an RMI Registry also? 0 to disable, 1 to enable
dspace.start.rmi.registry=1
#Port for the RMI Registry
dspace.rmi.port=1091
#What is the name to bind the rmi server with the name service
dspace.rmi.server.name=DSpaceRMIRemoteManager
#Should we start over ssl? 0 to disable, 1 to enable
dspace.rmi.over.ssl=1
#In case we start with ssl, path to keystore to use
dspace.rmi.ssl.keystore=DSpaceServer.keystore
#The jndi properties file to configure access to the ns so as to bind the server
dspace.jndi.properties.file=classpath://dspace.rmi.location.properties
#The maximum idle timeout for a remote rmi stream before being forced close - milliseconds
dspace.rmi.remote.streams.idle.timeout=10000
#The interval between successive checks of rmi idle streams - milliseconds
dspace.rmi.remote.streams.idle.check.interval=1000