From 4214bc89cc19338b7500ae600859e13cfb743ea1 Mon Sep 17 00:00:00 2001 From: Krateng Date: Sun, 5 May 2019 10:19:45 +0200 Subject: [PATCH] Prevented potential mistake that I definitely didn't just make --- .gitignore | 1 + maloja | 4 ++++ 2 files changed, 5 insertions(+) diff --git a/.gitignore b/.gitignore index 08e324b..5db2268 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ *.txt *.xcf nohup.out +/.dev # user files *.tsv diff --git a/maloja b/maloja index 9a0deab..3db0abe 100755 --- a/maloja +++ b/maloja @@ -230,6 +230,10 @@ def update(): if not gotodir(): return False + if os.path.exists("./.dev"): + print("Better not overwrite the development server!") + return + print("Updating Maloja...") #with urllib.request.urlopen(SOURCE_URL) as response: # with tempfile.NamedTemporaryFile(delete=True) as tmpfile: