reseed rust_rng after generating 32KB

2013-02-14 01:11:59 -08:00
parent 665e900ede
commit 9a78dc93db
4 changed files with 31 additions and 5 deletions
--- a/src/rt/rust_builtin.cpp
+++ b/src/rt/rust_builtin.cpp
@@ -173,7 +173,8 @@ rand_new_seeded2(rust_vec_box** seed) {

 extern "C" CDECL uint32_t
 rand_next(rust_rng *rng) {
-    return rng_gen_u32(rng);
+    rust_task *task = rust_get_current_task();
+    return rng_gen_u32(task->kernel, rng);
 }

 extern "C" CDECL void