#!/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; } # #