fix nasty error due to /dev/random exhaustion

diff --git a/config/index.php b/config/index.php
index 0f6f235..2a6567b 100644 (file)
--- a/config/index.php
+++ b/config/index.php
@@ -791,7 +791,7 @@ function writeLocalSettings( $conf ) {
        $ugly = ($conf->prettyURLs ? "# " : "");
        $rights = ($conf->RightsUrl) ? "" : "# ";
 
-       $file = @fopen( "/dev/random", "r" );
+       $file = @fopen( "/dev/urandom", "r" );
        if ( $file ) {
                $proxyKey = bin2hex( fread( $file, 32 ) );
                fclose( $file );