Mercurial > urweb
diff src/settings.sml @ 1933:8e6e3d9cea22
RAND_bytes isn't thread-safe, so wrap it with a lock
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 11 Dec 2013 18:54:42 -0500 |
parents | b6aee1d5b9b1 |
children | cf7f7e51b0a2 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 11 Dec 2013 18:54:42 -0500 |
parents | b6aee1d5b9b1 |
children | cf7f7e51b0a2 |