From 512b9a268c4870e3ad6d041e548c6cdb6d3cf481 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Sun, 09 Dec 2012 14:52:39 +0000
Subject: Avoid duplicate paths

---
(limited to 'devbot/environ.py')

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)
 
--
cgit v0.9.1