Redirect to the same page?

[eluser]John_Betong[/eluser]
 

Here is the code to redirect users back to where they were. (It allows users to see the page they were viewing in a different colour).

Code:

...
  ...
  ...
  // refresh the REFERRING page    
  $url = isset($_SERVER['HTTP_REFERER']) ? $_SERVER['HTTP_REFERER'] : base_url();
  $url = empty($url) ? base_url() : $url;

  redirect($url, 'refresh');

}//endfunc