From 4cd70422941e311d4121f80b26f368700f772054 Mon Sep 17 00:00:00 2001
From: Eric Antones <eantones@users.noreply.github.com>
Date: Tue, 6 Apr 2021 21:42:37 +0200
Subject: [PATCH] [FIX] pms: duplicated UI elements when PMS JS widget is
 installed (#71)

---
 pms/static/src/js/session.js                      | 11 +----------
 pms/static/src/js/widgets/switch_property_menu.js |  5 +----
 2 files changed, 2 insertions(+), 14 deletions(-)

diff --git a/pms/static/src/js/session.js b/pms/static/src/js/session.js
index d1660c7e7..8bc2d57de 100644
--- a/pms/static/src/js/session.js
+++ b/pms/static/src/js/session.js
@@ -3,9 +3,8 @@ odoo.define("pms.session", function (require) {
 
     var Session = require("web.Session");
     var utils = require("web.utils");
-    var modules = odoo._modules;
 
-    var inherited_Session = Session.extend({
+    Session.include({
         // TODO: require test and debug
         setPmsProperties: function (pms_main_property_id, pms_property_ids) {
             var hash = $.bbq.getState();
@@ -24,12 +23,4 @@ odoo.define("pms.session", function (require) {
             location.reload();
         },
     });
-
-    var pms_session = new inherited_Session(undefined, undefined, {
-        modules: modules,
-        use_cors: false,
-    });
-    pms_session.is_bound = pms_session.session_bind();
-
-    return pms_session;
 });
diff --git a/pms/static/src/js/widgets/switch_property_menu.js b/pms/static/src/js/widgets/switch_property_menu.js
index 56b4e2e95..0404f19fc 100644
--- a/pms/static/src/js/widgets/switch_property_menu.js
+++ b/pms/static/src/js/widgets/switch_property_menu.js
@@ -8,13 +8,10 @@ odoo.define("web.SwitchPmsMenu", function (require) {
      */
 
     var config = require("web.config");
-    // Var core = require("web.core");
-    var session = require("pms.session");
+    var session = require("web.session");
     var SystrayMenu = require("web.SystrayMenu");
     var Widget = require("web.Widget");
 
-    // Var _t = core._t;
-
     var SwitchPmsMenu = Widget.extend({
         template: "SwitchPmsMenu",
         events: {