# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1597386511 -7200
# Node ID 5a1d7c2d965ac0c08160f21a0c53c4bacc5ba498
# Parent  7448aac005a1dc7e0ff8a8f7e6778c3ffdd41cf8
bulma (base/base.html): expose `session_uuid` to scripts

diff -r 7448aac005a1 -r 5a1d7c2d965a sat_templates/templates/bulma/base/base.html
--- a/sat_templates/templates/bulma/base/base.html	Mon Aug 03 08:44:50 2020 +0200
+++ b/sat_templates/templates/bulma/base/base.html	Fri Aug 14 08:28:31 2020 +0200
@@ -59,7 +59,7 @@
     {% endif %}
 
     {% if csrf_token is defined %}
-        <script>var csrf_token = "{{csrf_token}}";</script>
+        <script>var csrf_token = "{{csrf_token}}"; var session_uuid="{{session_uuid}}";</script>
     {% endif %}
 
     {{ script.generate_scripts() }}