uphpCAS.php

@@ -56,8 +56,17 @@
      if($port != 0) {
         $url .= ':'.$port;
      }
		
      $url .= $_SERVER['REQUEST_URI'];
      
      if(isset($_GET['ticket'])) {
         $pos = max(
            strrpos($url, '?ticket='),
            strrpos($url, '&ticket=')
         );
         $url = substr($url, 0, $pos);
      }
		
      return $url;
   }