X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fnetstring%2Ftests%2Ftest_encoding.cgi;fp=helm%2FDEVEL%2Fpxp%2Fnetstring%2Ftests%2Ftest_encoding.cgi;h=0000000000000000000000000000000000000000;hp=2402cdadfbc9a79251c0622e7333fee639ecc79b;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff
diff --git a/helm/DEVEL/pxp/netstring/tests/test_encoding.cgi b/helm/DEVEL/pxp/netstring/tests/test_encoding.cgi
deleted file mode 100755
index 2402cdadf..000000000
--- a/helm/DEVEL/pxp/netstring/tests/test_encoding.cgi
+++ /dev/null
@@ -1,72 +0,0 @@
-#! /bin/sh
-# (*
-exec /opt/ocaml-2.04/bin/ocamlfattop "$0" "$@"
-*) directory ".";;
-
-#directory "..";;
-#load "netstring.cma";;
-
-Cgi.header "";
-Cgi.parse_arguments
- { Cgi.default_config with
- Cgi.how_to_process_arguments = (fun _ -> Cgi.File)
- };
-let params = Cgi.arguments() in
-print_string "\n";
-print_string "Parameters:
\n";
-print_string "\n";
-List.iter
- (fun (n,a) ->
- print_string "- ";
- print_string n;
- print_string ":";
- print_string (Cgi.arg_mimetype a);
- print_string "=";
- (match Cgi.arg_filename a with
- None -> ()
- | Some fn -> print_string ("[filename=" ^ fn ^ "]")
- );
- print_string (Cgi.arg_value a);
- print_string "
\n";
-
- )
- params;
-
-Cgi.cleanup();
-
-print_string "
\n";
-
-print_string "GET URL-encoded form
\n";
-print_string "\n";
-
-print_string "POST URL-encoded form
\n";
-print_string "\n";
-
-print_string "POST FORM-encoded form
\n";
-print_string "\n";
-
-print_string "File upload
\n";
-print_string "\n";
-
-
-
-print_string "\n";
-
-flush stdout
-;;
-
-