OpenShorte.old/lib/php/management/logout.php

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