[SOLUCIONADO] Cambiar properties desde Servlet ya iniciado

[Ommadawn]

Hola,

Os expongo mi situación:

• Tengo en marcha un java servlet en un servidor tomcat
• Este servlet, en su arranque (únicamente entonces), ha leído algunas propiedades de un fichero config.properties y ha guardado sus valores en variables

Imaginemos que una de esas propiedades dentro del fichero es algo como:

Código:

size=20

Si, por lo que fuera, mañana yo quisiera cambiar este valor de "size" por este otro en el fichero:

Código:

size=10

...¿"Sabrá" mi servlet que tiene que leer de nuevo el fichero y actualizar los valores de las variables? ¿Debería hacer yo algo especial y no sólo modificar el fichero properties? En definitiva: ¿cómo debo proceder cuando modifique un fichero de este tipo y quiera que se actualicen las variables asociadas?

¡Muchas gracias! Es un tema que le estoy dando muuuuuchas vueltas.

[Fuzzylog]

Lo normal es reiniciar el servidor :P

También podrías ejecutar un proceso aparte que guarde los cambios y se los pase a la aplicación de alguna manera.

[Ommadawn]

Gracias (con retraso), Fuzzylog.

Vaya, pensaba que habría algún sistema más "listo" de los Servlets jeje