function do_logout($user) {
    $query = "update user set session='' where username='$user'";
    $result = mysql_query($query);
}