I'm running a website with lots of pages (150+), both public and private.
Because the loading of my navigation (menu) and pages takes a lot of time (2.5 seconds) I've included a 'session' (adjusted index.php in core files and header.php in my theme files). Now loading of navigation and pages is much faster.
But when visitor is logged in, the private pages are not displayed. So I need to destroy old session when a vistor is logged in. Where can I do this, in which file? What to add/adjust?