[gnome-builder] jedi: propagate DEV_MODE

[Christian Hergert <chergert src gnome org>]

commit 75bb59f845d8bbf4e0c896575bc8f798bdcbfde3
Author: Christian Hergert <chergert redhat com>
Date:   Tue Dec 21 17:02:34 2021 -0800

    jedi: propagate DEV_MODE

 src/plugins/jedi-language-server/jedi_language_server_plugin.py | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/src/plugins/jedi-language-server/jedi_language_server_plugin.py 
b/src/plugins/jedi-language-server/jedi_language_server_plugin.py
index 479c97888..a3fdf92f1 100644
--- a/src/plugins/jedi-language-server/jedi_language_server_plugin.py
+++ b/src/plugins/jedi-language-server/jedi_language_server_plugin.py
@@ -20,16 +20,20 @@
 # SPDX-License-Identifier: GPL-3.0-or-later
 
 import gi
+import os
 
 from gi.repository import GLib
 from gi.repository import Gio
 from gi.repository import GObject
 from gi.repository import Ide
 
+DEV_MODE = os.getenv('DEV_MODE') and True or False
+
 class JediService(Ide.LspService):
     def __init__(self, *args, **kwargs):
         super().__init__(self, *args, **kwargs)
         self.set_program('jedi-language-server')
+        self.set_inherit_stderr(DEV_MODE)
 
     def do_configure_client(self, client):
         client.add_language('python')