From 05e60f0e826aacc476d4b21ed64aabd4712b8f33 Mon Sep 17 00:00:00 2001 From: sdarwin Date: Thu, 13 Nov 2025 08:09:05 -0700 Subject: [PATCH] Delay while git submodules upload --- publish_release.py | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/publish_release.py b/publish_release.py index 95c26ba..2e435fb 100755 --- a/publish_release.py +++ b/publish_release.py @@ -69,6 +69,15 @@ def fileHash(fileName): return sha256_hash.hexdigest() +def sleep(seconds): + for i in range(seconds): + try: + time.sleep(1) + except KeyboardInterrupt: + print("Oh! You have sent a Keyboard Interrupt! Continuing.") + break + + def genJSON(snapshotJSON, fileName, incomingSHA, nodocs=False): global checksum_succeeded with open(snapshotJSON, "r") as f: @@ -284,6 +293,12 @@ def git_tags(): print(result) exit(1) + sleep_seconds = 30 + print(f"Waiting {sleep_seconds} seconds for git submodules to upload.") + print("Adjusts the length of time in the script if needed.") + print("You may exit from the sleep loop with a Ctrl-C.") + sleep(sleep_seconds) + # function complete os.chdir(origDir)