[python/urandom] Use Ion::random to seed urandom

This commit is contained in:
Léa Saviot
2019-04-17 11:44:57 +02:00
parent f73951865e
commit 03bb81215e
3 changed files with 8 additions and 0 deletions

View File

@@ -42,3 +42,7 @@ bool micropython_port_interrupt_if_needed() {
}
return false;
}
int micropython_port_random() {
return Ion::random();
}