Sample downward experiment: don't require that the current user is pa…

…rt of USERS dict.
aibasel · Nov 16, 2020 · d6b1d1e · d6b1d1e
1 parent cbdbeb5
commit d6b1d1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/downward/project.py b/examples/downward/project.py
@@ -30,7 +30,7 @@
         remote_repos="/infai/seipp/projects",
     ),
 }
-USER = USERS[getpass.getuser()]
+USER = USERS.get(getpass.getuser())
 
 
 def parse_args():