<?php
    $_SESSION [ 'user_id' ] = NULL;
    header ( "Location: " . substr ( $_SERVER [ 'SCRIPT_NAME' ], 0, -10 ) . "/" );