[Dspace-general] change auto logout time

[post man]

hi,
do anybody know how to change the time after the user have to login again after doing nothing. i found absolutely nothing about that. no parameter in the config file and no description in the docu :(

my environment:
dspace 1.5.1 with xmlui (manakin)

i`m happy for every hint.
thanks
simi

Jetzt komfortabel bei Arcor-Digital TV einsteigen: Mehr Happy Ends, mehr Herzschmerz, mehr Fernsehen! Erleben Sie 50 digitale TV Programme und optional 60 Pay TV Sender, einen elektronischen Programmführer mit Movie Star Bewertungen von TV Movie. Außerdem, aktuelle Filmhits und spannende Dokus in der Arcor-Videothek. Infos unter www.arcor.de/tv