diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/xmlGenerator/domainGenerator.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/xmlGenerator/domainGenerator.py b/tools/xmlGenerator/domainGenerator.py index 516a3bd..88c4b02 100755 --- a/tools/xmlGenerator/domainGenerator.py +++ b/tools/xmlGenerator/domainGenerator.py @@ -275,6 +275,10 @@ if __name__ == "__main__": logger = PfwLogger() pfw.setLogger(logger) + # Disable the remote interface because we don't need it and it might + # get in the way (e.g. the port is already in use) + pfw.setForceNoRemoteInterface(True) + # Finally, start the Pfw ok, error = pfw.start() if not ok: |