X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b558f9b18c938af6a35ebea66ac2323a60178202..517da9a5c42ae0d436928cc2e985063ab0cceea4:/examples/java/bittorrent/generate.py

diff --git a/examples/java/bittorrent/generate.py b/examples/java/bittorrent/generate.py
index 9ba8611257..d416c5f7a2 100755
--- a/examples/java/bittorrent/generate.py
+++ b/examples/java/bittorrent/generate.py
@@ -1,41 +1,49 @@
-#!/usr/bin/python
+#!/usr/bin/env python
+
+# Copyright (c) 2013-2014. The SimGrid Team.
+# All rights reserved.
+
+# This program is free software; you can redistribute it and/or modify it
+# under the terms of the license (GNU LGPL) which comes with this package.
 
 # This script generates a specific deployment file for the Bittorrent example.
 # It assumes that the platform will be a cluster.
 # Usage: python generate.py nb_nodes nb_bits end_date percentage
 # Example: python generate.py 10000 5000
 
-import sys, random
+import sys
+import random
 
 if len(sys.argv) != 4:
-	print("Usage: python generate.py nb_nodes end_date seed_percentage > deployment_file.xml")
-	sys.exit(1)
+    print(
+        "Usage: python generate.py nb_nodes end_date seed_percentage > deployment_file.xml")
+    sys.exit(1)
 
 nb_nodes = int(sys.argv[1])
 end_date = int(sys.argv[2])
-seed_percentage = int(sys.argv[3]);
+seed_percentage = int(sys.argv[3])
 
 nb_bits = 24
 max_id = 2 ** nb_bits - 1
 all_ids = [42]
 
 sys.stdout.write("<?xml version='1.0'?>\n"
-"<!DOCTYPE platform SYSTEM \"http://simgrid.gforge.inria.fr/simgrid.dtd\">\n"
-"<platform version=\"3\">\n"
-"  <process host=\"c-0.me\" function=\"bittorrent.Tracker\"><argument value=\"%d\"/></process>\n" % end_date)
+                 "<!DOCTYPE platform SYSTEM \"http://simgrid.gforge.inria.fr/simgrid.dtd\">\n"
+                 "<platform version=\"3\">\n"
+                 "  <process host=\"c-0.me\" function=\"bittorrent.Tracker\"><argument value=\"%d\"/></process>\n" % end_date)
 
 for i in range(1, nb_nodes):
 
-  ok = False
-  while not ok:
-    my_id = random.randint(0, max_id)
-    ok = not my_id in all_ids
-  start_date = i * 10
-  line = "  <process host=\"c-%d.me\" function=\"bittorrent.Peer\"><argument value=\"%d\" /><argument value=\"%d\" />" % (i, my_id, end_date)
-  if random.randint(0,100) < seed_percentage:
-    line += "<argument value=\"1\" />"
-  line += "</process>\n";
-  sys.stdout.write(line)
-  all_ids.append(my_id)
+    ok = False
+    while not ok:
+        my_id = random.randint(0, max_id)
+        ok = not my_id in all_ids
+    start_date = i * 10
+    line = "  <process host=\"c-%d.me\" function=\"bittorrent.Peer\"><argument value=\"%d\" /><argument value=\"%d\" />" % (
+        i, my_id, end_date)
+    if random.randint(0, 100) < seed_percentage:
+        line += "<argument value=\"1\" />"
+    line += "</process>\n"
+    sys.stdout.write(line)
+    all_ids.append(my_id)
 sys.stdout.write("</platform>")
-