#!/usr/bin/perl -w
# test MWS server
use HTTP::Request::Common qw(POST);
use LWP::UserAgent;
$ua = new LWP::UserAgent;
$ua->timeout(100000);
my @names = @ARGV;
## my @names = ('jgraph_4');
#foreach my $aname (@names)
{
# print "\n $aname \n";
# my $req = POST 'http://cds.omdoc.org:8080/:search?mizar',
# Content_Type => 'text/xml',
# # ProblemSource => 'URL',
# Content => '',
# # FormulaURL =>'http://mws.cs.ru.nl/~mptp/mml4.160.1126/mml/' . $aname . '.miz',
# # Aid => 'ARYTM_3',
# # Size => 30,
# # Offset => 0,
# # MMLVersion => '4.166.1132'];
# print $req->header(-type => 'text/xml');
print $ua->request( POST 'http://cds.omdoc.org:8080/:search?mizar', Content_Type => 'text/xml',
# ProblemSource => 'URL',
Aid => 'Foo',
Content =>
#'')
#'')
'
')
# '')
->as_string;
}
#
#