int[] seed = { 12345, 12345, 12345, 12345, 12345, 12345 };
RngStream.setPackageSeed(seed);
Msg.init(args);
if(args.length < 2) {
Msg.info("Usage : Bittorrent platform_file deployment_file");
int[] seed = { 12345, 12345, 12345, 12345, 12345, 12345 };
RngStream.setPackageSeed(seed);
Msg.init(args);
if(args.length < 2) {
Msg.info("Usage : Bittorrent platform_file deployment_file");