[imp] Imp 3.0 - random number generation

[Scott Kearney]

This may be more of a PHP question, but maybe not and moreover, maybe 
somebody here can help:

What method does Horde use to determine random numbers for session 
generation? We're running a production environment here across four 
servers with a shared session file space on an NFS drive. The chief 
concerns are:
  - whether it's possible for two servers to generate the same, 
conflicting, session files
  - the randomness of the generated session id's, there is some concern 
about session id hijacking
--
Scott Kearney