diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-09 14:52:39 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-09 14:52:39 (GMT) |
| commit | 512b9a268c4870e3ad6d041e548c6cdb6d3cf481 (patch) | |
| tree | 8503404f9a36457c80e4e9f611c04d92e241f7b9 /devbot/environ.py | |
| parent | cd1b2c8a22ca018b0da556941835ce0665f3d211 (diff) | |
Avoid duplicate paths
Diffstat (limited to 'devbot/environ.py')
| -rw-r--r-- | devbot/environ.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/devbot/environ.py b/devbot/environ.py index 512b27d..b441dda 100644 --- a/devbot/environ.py +++ b/devbot/environ.py @@ -8,12 +8,16 @@ def setup(): _setup_variables() def _add_path(name, path): + if not path.endswith("/"): + path = "%s/" % path + if name not in os.environ: os.environ[name] = path return splitted = os.environ[name].split(":") - splitted.insert(0, path) + if path not in splitted: + splitted.insert(0, path) os.environ[name] = ":".join(splitted) |