+ header("Location: $where");
+ }
+ header("Content-type: text/html");
+ print('<?xml version="1.0" encoding="iso-8859-1"?>'."\n");
+?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head><title>postget</title></head>
+<?php
+
+ if ($getget) {
+ print(""
+ ."<body onload=\"window.location.href=document.links[0].href;\"><p>\n"
+ ."<a href=\"".htmlspecialchars($where)."\">get</a>\n"
+ ."</p></body>\n");
+ }
+ else {
+ print(""
+ ."<body onload=\"document.forms[0].submit();\">\n"
+ ."<form action=\"".htmlspecialchars($where)."\" method=\"post\"><p>\n");
+ foreach ($_REQUEST as $key=>$val)
+ print("<input type=\"hidden\" name=\"".htmlspecialchars($key)."\" value=\"".htmlspecialchars($val)."\" />\n");
+ print("<input type=\"submit\" />\n");
+ print("</p></form></body>\n");