. function logout_main() { kill_session(); session_new(); message('Logged out'); return './'; }