diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-03-04 17:06:42 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-03-04 17:06:42 +0000 |
commit | 5ab72025a789ea9ada209cb7656b913186bb209a (patch) | |
tree | 4c4782b163e04489a3bac990b346a130344044e2 /tools | |
parent | 9aacd6ddc4804b18498b8d1bdc702ef8682e731d (diff) | |
download | scala-5ab72025a789ea9ada209cb7656b913186bb209a.tar.gz scala-5ab72025a789ea9ada209cb7656b913186bb209a.tar.bz2 scala-5ab72025a789ea9ada209cb7656b913186bb209a.zip |
Use a java.security.SecureRandom for better
random port selection. Should think a little
more about whether fsc can be exploited
by other users local to a computer.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions