python runner filename

5 years ago · 18743c7ff2
parent ad39814829
commit 18743c7ff2
1 changed files with 1 additions and 1 deletions
--- a/Runtime-Environments.md
+++ b/Runtime-Environments.md
@ -4,7 +4,7 @@ This page contains notes about using various runtime environments in ReCodEx as

 ## Python

-We use a wrapper script that translates exceptions to error codes. This script can be found in the [utils](https://github.com/ReCodEx/utils/blob/master/runners/py/runner.py) repository.
+We use a wrapper script that translates exceptions to error codes. This script can be found in the [utils](https://github.com/ReCodEx/utils/blob/master/runners/py/runner.py) repository. The file is named `runner.py` during execution of solutions, so be aware of filename collisions.

 Due to a [Python bug](http://bugs.python.org/issue10496), the interpreter 
 requires the `$HOME` variable to be set to something. Otherwise, it tries to