3 Temporary redirect to prevent breakage of existing installs/links
5 $group_id = getIntFromRequest ('group_id');
6 $release_id = getIntFromRequest ('release_id');
10 header ("Location: ".util_make_uri("/frs/?group_id=$group_id&release_id=$release_id"));
12 header ("Location: ".util_make_uri("/frs/?group_id=$group_id")); }
14 header ("Location: ".util_make_uri("/"));