original_string: public function back($service, $ticket = '')
      {
          $parts = parse_url($service);
          if (isset($parts['query'])) {
              parse_str($parts['query'], $query);
          } else {
              $query = array();
          }
          if (!empty($ticket)) {
              $query['ticket'] = $ticket;
          }
          $parts['query'] = http_build_query($query);
          self::http_redirect(self::build_url($parts));
          // never reach
          return true;
      }
code: public function back($service, $ticket = '')
      {
          $parts = parse_url($service);
          if (isset($parts['query'])) {
              parse_str($parts['query'], $query);
          } else {
              $query = array();
          }
          if (!empty($ticket)) {
              $query['ticket'] = $ticket;
          }
          $parts['query'] = http_build_query($query);
          self::http_redirect(self::build_url($parts));
          // never reach
          return true;
      }
code_tokens: public function back ( $ service , $ ticket = '' ) { $ parts = parse_url ( $ service ) ; if ( isset ( $ parts [ 'query' ] ) ) { parse_str ( $ parts [ 'query' ] , $ query ) ; } else { $ query = array ( ) ; } if ( ! empty ( $ ticket ) ) { $ query [ 'ticket' ] = $ ticket ; } $ parts [ 'query' ] = http_build_query ( $ query ) ; self :: http_redirect ( self :: build_url ( $ parts ) ) ; // never reach return true ; }
docstring: From CAS server back to proxied service
  
  @param string $service proxied service
  @param string $ticket
  
  @return bool always true, but never reach.
docstring_tokens: From CAS server back to proxied service