Convert project names list to lower case

2020-05-02 12:45:15 +00:00 · 2020-05-02 12:45:15 +00:00 · a72a3e6d14
parent 42280d9737
commit a72a3e6d14
1 changed files with 1 additions and 1 deletions
--- 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)