Convert to C++, and call get_pid() directly.

[simgrid.git] / tools / sg_xml_unit_converter.py

diff --git a/tools/sg_xml_unit_converter.py b/tools/sg_xml_unit_converter.py
index b7104ca..f7cc5c4 100644 (file)
--- a/tools/sg_xml_unit_converter.py
+++ b/tools/sg_xml_unit_converter.py
@@ -1,7 +1,7 @@
 #!/usr/bin/env python
 # -*- coding: utf-8 -*-
 
-# Copyright (c) 2013-2014. The SimGrid Team.
+# Copyright (c) 2013-2019. The SimGrid Team.
 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
@@ -49,6 +49,7 @@ def convert(xml, formats, attrib):
 def formats(ll):
     return sorted(((Decimal(i), j) for i, j in ll), key=lambda x: x[0], reverse=True)
 
+
 for root, dirnames, filenames in os.walk(sys.argv[1]):
     for filename in fnmatch.filter(filenames, '*.xml'):
         print root, dirnames, filename