Merge pull request #578 from GavinHuttley/develop

DOC: fixed bug in conf.py
cogent3 · Mar 16, 2020 · 23ea441 · 23ea441
2 parents bc0dbcb + f12a1d5
commit 23ea441
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/conf.py b/doc/conf.py
@@ -14,7 +14,7 @@ def exec_command(cmnd):
     )
     out, err = proc.communicate()
     if proc.returncode != 0:
-        user = os.environ["USER"]
+        user = os.environ.get("USER", None)
         raise SystemError(proc.returncode, f"FAILED: {cmnd}\n{err} for '{user}'")
 
     if out is not None: