small bugfix in eliom: too much file descriptors were opened on /dev/urandom
small bugfix in eliom: too much file descriptors were opened on /dev/urandom

darcs-hash:20071010165609-1b86b-2791461e764373010de0493a6c85813ad20af0ca

mfp/ocsigenserver,mfp/ocsigenserver