dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f61e147) | patch
Handle session reset errors in invalidateSessionsForUser.php
authorGergő Tisza <gtisza@wikimedia.org>
Fri, 17 Jun 2016 00:12:38 +0000 (00:12 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Sat, 18 Jun 2016 11:01:20 +0000 (11:01 +0000)
commitfa186b2e649dce87766ef9d6e3fd952637bf22e7
treebbe6a585b8c439629dd457c9e7cadce350e24da2tree | snapshot
parentf61e147bfc651beb2c59c0ceb6def8fbc30b042fcommit | diff
Handle session reset errors in invalidateSessionsForUser.php

Also, do not skip session reset if the user does not exist locally.

Change-Id: I5a55e4a6f2d296576ee76e212ed379225251e128
maintenance/invalidateUserSessions.php diff | blob | history
Wiklou, le Wiki du Wiklou