randomFile device ändern

[Karin Krause]

Hallo zusammen,
ich benutze Tomcat 5.5
und habe gesehen, dass man dort nun
ein Device zum Generieren von Session IDs
benutzen kann.
Defaultmässig ist dies /dev/urandom.
Ich würde dies jetzt aber gerne auf
/dev/random switchen.
Wie kann ich das machen?
Der ManagerBase bietet zwar eine Methode
setRandomFile, das Interface Manager jedoch
nicht, weshalb ich dies nicht konfigurieren kann.

Danke für jede Hilfe
Gruss Karin

[PRossbach]

Einfach in der einen context.xml zu
der Anwendung anlegen.

<Context>
<Manager randomFile="/dev/random" />
</Context>

Wenn das für alle Anwendungen des Servers gelten
sollten kann die Definition auch in der conf/context.xml des Tomcat 5.5 hinterlegt werden.

Pete