Browse Source

Add int casting

Julio 6 years ago
parent
commit
c717006f66
1 changed files with 2 additions and 0 deletions
  1. 2 0
      main/inc/lib/sessionmanager.lib.php

+ 2 - 0
main/inc/lib/sessionmanager.lib.php

@@ -477,6 +477,8 @@ class SessionManager
 
         $where = 'WHERE 1 = 1 ';
 
+        $userId = (int) $userId;
+
         if (!api_is_platform_admin()) {
             if (api_is_session_admin() &&
                 api_get_setting('allow_session_admins_to_manage_all_sessions') == 'false'