tree a9c710b8b2a6d3f113afe60b51ab64452dc03da9
parent 1bdc0b193158e4d96bb56277f421cc3749e56006
author Luca Milanesio <luca.milanesio@gmail.com> 1526379164 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1526379167 +0100

Use /dev/urandom to speedup Server startup

Using /dev/urandom instead of /dev/random increases signficantly
the startup time and does not represent anymore a tangible risk
in terms of security.

Change-Id: I6c63142bbee22060df14cb6a28d38589348ca3bb