From c96b378d3e8410028ac4f6d29e0f5a86e962807b Mon Sep 17 00:00:00 2001
From: tituspijean <titus@pijean.ovh>
Date: Wed, 12 Apr 2023 21:30:28 +0200
Subject: [PATCH] [enh] app id in settings

---
 src/app.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/app.py b/src/app.py
index 1daa14d98..91b55b39d 100644
--- a/src/app.py
+++ b/src/app.py
@@ -2012,6 +2012,9 @@ def _get_app_settings(app):
         ):
             settings["path"] = "/" + settings["path"].strip("/")
             _set_app_settings(app, settings)
+            
+        # Make the app id available as $app too
+        settings["app"] = app
 
         if app == settings["id"]:
             return settings