before updating ToU fetch users from server

CHANGELOG

@@ -5,6 +5,8 @@ minerva (12.2.3) stable; urgency=medium
   * Bug fix: remove button is disabled after starting removing of the data 
     overlay (#791)
   * Bug fix: search autocomplete hint could be initially hidden (#793)
+  * Bug fix: updating terms of use could crash when list of users was removed 
+    in separate tab or by another user (#797)
 
  -- Piotr Gawron <piotr.gawron@uni.lu>  Wed, 24 Apr 2019 17:00:00 +0200
 

frontend-js/src/main/js/ServerConnector.js

@@ -1340,7 +1340,7 @@ ServerConnector.updateUser = function (user) {
  */
 ServerConnector.resetUserTos = function () {
   var self = this;
-  return self.getUsers().then(function (users) {
+  return self.getUsers(true).then(function (users) {
     var promises = [];
     for (var i = 0; i < users.length; i++) {
       var user = users[i];