uphpCAS.php

@@ -51,6 +51,8 @@
         $url .= ':'.$port;
      }
      $url .= $_SERVER['REQUEST_URI'];
		
      return $url;
   }
   
   public function getServerUrl() {