From a72a3e6d146f39227c19e6cd421e2909a6924aa8 Mon Sep 17 00:00:00 2001 From: Bob Mottram Date: Sat, 2 May 2020 12:45:15 +0000 Subject: [PATCH] Convert project names list to lower case --- daemon.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/daemon.py b/daemon.py index fa9e15c8..b9bb6560 100644 --- a/daemon.py +++ b/daemon.py @@ -5695,7 +5695,7 @@ class PubServer(BaseHTTPRequestHandler): '/gitprojects.txt' if fields.get('gitProjects'): with open(gitProjectsFilename, "w") as aFile: - aFile.write(fields['gitProjects']) + aFile.write(fields['gitProjects'].lower()) else: if os.path.isfile(gitProjectsFilename): os.remove(gitProjectsFilename)