src/eric7/VirtualEnv/VirtualenvMeta.py

branch
server
changeset 10725
51fe971610d3
parent 10439
21c28b0f9e41
child 10765
b0632e55ec9a
--- a/src/eric7/VirtualEnv/VirtualenvMeta.py	Tue May 21 19:31:50 2024 +0200
+++ b/src/eric7/VirtualEnv/VirtualenvMeta.py	Tue May 21 19:35:41 2024 +0200
@@ -24,6 +24,8 @@
     is_remote: bool = False  # flag indicating a remotely accessed environment
     exec_path: str = ""  # string to be prefixed to the PATH environment setting
     description: str = ""  # description of the environment
+    is_eric_server: bool = False  # flag indicating an eric IDE server environment
+    eric_server: str = ""  # server name the environment belongs to
 
     def as_dict(self):
         """
@@ -53,4 +55,6 @@
             is_remote=data.get("is_remote", False),
             exec_path=data.get("exec_path", ""),
             description=data.get("description", ""),
+            is_eric_server=data.get("is_eric_server", False),
+            eric_server=data.get("eric_server", ""),
         )

eric ide

mercurial