#
# jumpbox.pl
#
# navigational widget, actually quite useful as it is completely
# browser-independant, being server-side.
#
#
# read input from submitted form
read(STDIN, $buffer, $ENV{'CONTENT_LENGTH'});
($name, $url) = split(/=/, $buffer);

# get rid of url webification
$url =~ tr/+/ /;
$url =~ s/%([a-fA-F0-9][a-fA-F0-9])/pack("C", hex($1))/eg;
$url =~ s///g;

# print a content header that instantly redirects.
print "Location: http://$url\n\n";

exit(0);