[FIX] server: allow odoo and addon paths to end with a /

Ending the path to odoo or to any addon path with a / should not make the extension crash or unable to detect the workspace.

Author: fda-odoo

server/core/odoo.py

@@ -160,7 +160,7 @@ def initialize(ls:LanguageServer = None):
                     # add stubs for not installed packages
                     Odoo.instance.grammar = parso.load_grammar()
                     Odoo.instance.start_build_time = time.time()
-                    Odoo.instance.odooPath = odooConfig.odooPath
+                    Odoo.instance.odooPath = odooConfig.odooPath.rstrip('/')
                     if os.name == "nt":
                         Odoo.instance.odooPath = Odoo.instance.odooPath[0].capitalize() + Odoo.instance.odooPath[1:]
                     Odoo.instance.load_builtins(ls)
@@ -248,7 +248,8 @@ def build_base(self, ls, used_config):
                 else:
                     ls.show_message_log("Odoo addons not found at " + os.path.join(self.odooPath, "addons"), MessageType.Error)
                     return False
-            addonsSymbol.paths += used_config.addons
+            for addon in used_config.addons:
+                addonsSymbol.paths.append(addon.rstrip('/'))
             return True
         else:
             ls.show_message_log("Odoo not found at " + self.odooPath, MessageType.Error)