jenkins-bot has submitted this change and it was merged. Change subject: Log the session cache type along with other cache types ......................................................................
Log the session cache type along with other cache types We already log the types of the main, WAN, stash, message, and parser caches. For debugging, it would be useful to log the session cache too instead of having to guess that it's probably the same as the main cache. Change-Id: I13e6c0f7f430f96be50d543a32c232f0c36dcd72 (cherry picked from commit c666d7403816f5b8cf334312faccd3c8a15aa9d7) --- M includes/Setup.php 1 file changed, 3 insertions(+), 1 deletion(-) Approvals: Chad: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/Setup.php b/includes/Setup.php index 3cb72f5..580d29b 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -684,7 +684,9 @@ ', WAN: ' . $wgMainWANCache . ', stash: ' . $wgMainStash . ', message: ' . get_class( $messageMemc ) . - ', parser: ' . get_class( $parserMemc ) ); + ', parser: ' . get_class( $parserMemc ) . + ', session: ' . get_class( ObjectCache::getInstance( $wgSessionCacheType ) ) +); Profiler::instance()->scopedProfileOut( $ps_memcached ); -- To view, visit https://gerrit.wikimedia.org/r/297710 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I13e6c0f7f430f96be50d543a32c232f0c36dcd72 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: REL1_27 Gerrit-Owner: Anomie <bjor...@wikimedia.org> Gerrit-Reviewer: Chad <ch...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits