diff --git a/generatePackage.py b/generatePackage.py index 9fae28f6ce5bc8e21d36650a0976beb6e645eb0d..5673c8c0d7a4d8096cea6d54eb9b8c386acadc3a 100755 --- a/generatePackage.py +++ b/generatePackage.py @@ -183,9 +183,10 @@ def generate_server_side_config(offset: int, newPackage: string): with open("{}/noerrors.txt".format(newPackage), "w") as f: f.write(no_errors) - with open("{}/run.sh".format(newPackage), "w") as f: - run_template = run_template.replace("{entry_point}", str(gateway_ports[0])) - f.write(run_template) + if not os.path.exists("{}/run.sh".format(newPackage)): + with open("{}/run.sh".format(newPackage), "w") as f: + run_template = run_template.replace("{entry_point}", str(gateway_ports[0])) + f.write(run_template) # Set the executable permissions on the bash script file os.chmod("{}/run.sh".format(newPackage), 0o755)