view_all_set.php: use header redirect instead of meta tag refresh

mantisbt · Jan 15, 2012 · a43512b · a43512b
1 parent d70280b
commit a43512b
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/public/view_all_set.php b/public/view_all_set.php
@@ -626,7 +626,5 @@
 if ( $f_temp_filter ) {
 	$t_token_id = token_set( TOKEN_FILTER, $t_settings_serialized );
 	$t_redirect_url = $t_redirect_url . '?filter=' . $t_token_id;
-	html_meta_redirect( $t_redirect_url, 0 );
-} else {
-	print_header_redirect( $t_redirect_url );
 }
+print_header_redirect( $t_redirect_url );