--- /dev/null
+<?php
+ 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><body onload="document.forms[0].submit();">
+<?php
+
+ print("<form action=\"".htmlspecialchars($HTTP_GET_VARS["_postget"])."\" method=\"post\"><p>\n");
+ unset($HTTP_GET_VARS["_postget"]);
+ foreach ($HTTP_GET_VARS as $key=>$val) {
+ if (ereg("^_priv_(postget.*)\$",$val,$matched))
+ $val=chop(join(" ",file("/home/short/priv/".$matched[1],false/*use_include_path*/)));
+ print("<input type=\"hidden\" name=\"".htmlspecialchars($key)."\" value=\"".htmlspecialchars($val)."\" />\n");
+ }
+ print("<input type=\"submit\" />\n");
+ print("</p></form>\n");
+
+?>
+</body></html>