when cleaning up comments, I just stepped over external_mapping.py.
* The input-file is a text file, isn't it? So why is it read in binary mode?
* Leading/trailing spaces in host- and vm-names are preserved is this
intended? Are names allowed to contains spaces at all? If not, i would
change the file and strip leading/trailing white-spaces which would make
the file format more robust.
| Hartmut Goebel | h.goebel@... |
| http://www.crazy-compilers.com | compilers which you thought are impossible |