Support new Galaxy configuration setting `interactivetools_map_sqlalc…

…hemy`

At the moment, the Gravity setting `sessions` is "overridden" with `interactivetools_map` if configured in the Galaxy settings.

A new Galaxy setting `interactivetools_map_sqlalchemy` was added in Galaxy PR #18481 that overrides interactivetools_map` if defined. Gravity should do the same. This commit also documents the change.

docs/installation.rst

@@ -285,9 +285,9 @@ The following options in the ``gravity`` section of ``galaxy.yml`` can be used t
       # Public-facing port of the proxy
       # port: 4002
 
-      # Routes file to monitor.
-      # Should be set to the same path as ``interactivetools_map`` in the ``galaxy:`` section. This is ignored if
-      # ``interactivetools_map is set``.
+      # Database to monitor.
+      # Should be set to the same value as ``interactivetools_map`` (or ``interactivetools_map_sqlalchemy``) in the ``galaxy:`` section. This is
+      # ignored if either ``interactivetools_map`` or ``interactivetools_map_sqlalchemy`` are set.
       # sessions: database/interactivetools_map.sqlite
 
       # Include verbose messages in gx-it-proxy

gravity/settings.py

@@ -244,9 +244,9 @@ class GxItProxySettings(BaseModel):
     sessions: str = Field(
         default="database/interactivetools_map.sqlite",
         description="""
-Routes file to monitor.
-Should be set to the same path as ``interactivetools_map`` in the ``galaxy:`` section. This is ignored if
-``interactivetools_map is set``.
+Database to monitor.
+Should be set to the same value as ``interactivetools_map`` (or ``interactivetools_map_sqlalchemy``) in the ``galaxy:`` section. This is
+ignored if either ``interactivetools_map`` or ``interactivetools_map_sqlalchemy`` are set.
 """)
     verbose: bool = Field(default=True, description="Include verbose messages in gx-it-proxy")
     forward_ip: Optional[str] = Field(

gravity/state.py

@@ -399,7 +399,10 @@ class GalaxyGxItProxyService(Service):
     def __init__(self, *args, **kwargs):
         super().__init__(*args, **kwargs)
         # override from Galaxy config if set
-        self.settings["sessions"] = self.config.app_config.get("interactivetools_map", self.settings["sessions"])
+        self.settings["sessions"] = (
+            self.config.app_config.get("interactivetools_map_sqlalchemy") or
+            self.config.app_config.get("interactivetools_map", self.settings["sessions"])
+        )
         # this can only be set in Galaxy config
         it_base_path = self.config.app_config.get("interactivetools_base_path", "/")
         it_base_path = "/" + f"/{it_base_path.strip('/')}/".lstrip("/")