# HG changeset patch # User Vincent Hatakeyama <vincent.hatakeyama@xcg-consulting.fr> # Date 1679648086 -3600 # Fri Mar 24 09:54:46 2023 +0100 # Node ID ba9c9a6a25c4ed29d803bd678314e04625052e97 # Parent c78b0972b6f24b85fab58d41bd301975d6ecd078 🚑 Fix start_redis option error diff --git a/odoo_scripts/docker_dev_start.py b/odoo_scripts/docker_dev_start.py --- a/odoo_scripts/docker_dev_start.py +++ b/odoo_scripts/docker_dev_start.py @@ -513,9 +513,8 @@ else: start_rednerd_stack = config.start_rednerd _logger.debug("No command line start rednerd %d", start_rednerd_stack) - if nmspc.start_redis: - start_redis = nmspc.start_redis == 1 # TODO ajouter l’option de démarrer redis dans Configuration + start_redis: bool = (nmspc.start_redis == 1) if nmspc.start_redis else False _logger.debug("Docker image: %s", image) # detect if docker image already exists