[Pki-devel] [PATCH] 218 Replaced Tomcat's random number generator.

[Endi Sukma Dewata]

By default Tomcat relies on /dev/random as a random number generator
to generate the session ID's. Under certain conditions /dev/random
may block, which will block Tomcat as well. To solve the problem all
webapps in Tomcat have been configured to use the random number
generator provided by JSS.

Ticket #524

Tested with IPA. Migration script will be added in a separate patch.

-- 
Endi S. Dewata
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pki-edewata-0218-Replaced-Tomcat-s-random-number-generator.patch
Type: text/x-patch
Size: 7795 bytes
Desc: not available
URL: <http://listman.redhat.com/archives/pki-devel/attachments/20130312/ebefe79c/attachment.bin>