function deleteSession($sessionAtom)
{
    //echo "deleting $sessionAtom<br/>";
    DB_doquer("DELETE FROM `__SessionTimeout__` WHERE SESSION = '{$sessionAtom}';");
    deleteAtom($sessionAtom, 'SESSION');
}
function DelAtom($concept, $atom)
{
    // call function from DatabaseUtils.php
    deleteAtom($atom, $concept);
    // delete atom + all relations with other atoms
    // log
    ExecEngineWhispers("Atom {$atom} ({$concept}) deleted");
    emitLog("deleteAtom({$atom}, {$concept})");
}