patch pour gérer les / dans les nom de branche

diff --git a/src/product.py b/src/product.py
index 7d354c47a046b48fbd294cafb0b29b7fb5e425c9..c5e956bb8c7203658a1238b425be43910b10af1c 100644 (file)
--- a/src/product.py
+++ b/src/product.py
@@ -165,7 +165,7 @@ def get_product_config(config, product_name, with_install_dir=True):
     # substitute some character with _ in order to get the correct definition
     # in config.PRODUCTS. This is done because the pyconf tool does not handle
     # the . and - characters 
-    for c in ".-": vv = vv.replace(c, "_")
+    for c in ".-/": vv = vv.replace(c, "_")
 
     prod_info = None
     if product_name in config.PRODUCTS: