#!/usr/bin/env python
-# Copyright (c) 2012-2018. The SimGrid Team.
+# Copyright (c) 2012-2020. The SimGrid Team.
# All rights reserved.
# This program is free software; you can redistribute it and/or modify it
all_ids = [42]
sys.stdout.write("<?xml version='1.0'?>\n"
- "<!DOCTYPE platform SYSTEM \"http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd\">\n"
+ "<!DOCTYPE platform SYSTEM \"https://simgrid.org/simgrid.dtd\">\n"
"<platform version=\"4\">\n"
" <process host=\"node-0.simgrid.org\" function=\"tracker\">\n"
" <argument value=\"%d\"/>\n </process>\n" % end_date)
ok = False
while not ok:
my_id = random.randint(0, max_id)
- ok = not my_id in all_ids
+ ok = my_id not in all_ids
start_date = i * 10
line = " <process host=\"node-%d.simgrid.org\" function=\"peer\">\n" % i
line += " <argument value=\"%d\"/>\n <argument value=\"%d\"/>\n" % (