|
|
@ -105,11 +105,11 @@ def emulator(argv): |
|
|
|
sys.exit(1) |
|
|
|
sys.exit(1) |
|
|
|
else: |
|
|
|
else: |
|
|
|
param_fd = open(file, "r") |
|
|
|
param_fd = open(file, "r") |
|
|
|
param_old = param_fd.readlines() |
|
|
|
value_old = param_fd.readlines() |
|
|
|
param_fd.close() |
|
|
|
param_fd.close() |
|
|
|
|
|
|
|
|
|
|
|
if(param_old != param): |
|
|
|
if(value_old != value): |
|
|
|
print("Parameter " + param + " differs: " + " ".join(param_old) + " vs. " + param) |
|
|
|
print("Parameter " + param + " differs: " + " ".join(value_old) + " vs. " + value) |
|
|
|
print("Sources: " + " ".join(old_object_source) + " and " + object_source) |
|
|
|
print("Sources: " + " ".join(old_object_source) + " and " + object_source) |
|
|
|
sys.exit(1) |
|
|
|
sys.exit(1) |
|
|
|
else: |
|
|
|
else: |
|
|
|