Use RngStream for random number in bittorrent example

diff --git a/examples/bittorrent/Peer.java b/examples/bittorrent/Peer.java
index c5a6653..083e92c 100644 (file)
--- a/examples/bittorrent/Peer.java
+++ b/examples/bittorrent/Peer.java
@@ -431,7 +431,7 @@ public class Peer extends Process {
                        Connection peerChoosed = null;
                        do {
                                i = 0;
-                               int idChosen = ((int)Msg.getClock() + j) % peers.size();
+                               int idChosen = stream.randInt(0,peers.size() - 1);
                                for (Connection connection : peers.values()) {
                                        if (i == idChosen) {
                                                peerChoosed = connection;