global missing ?

Hello,

I think that

function cas_logout() {
  global $user;

should be changed to :

function cas_logout() {
  global $user, $base_url;

to have that below working :

    if (empty($destination)) {
      $destination = $base_url;
    }