equal
deleted
inserted
replaced
24 my $response = $agent->post($ENV{"REMOTE_SMT_URL"}, [ |
24 my $response = $agent->post($ENV{"REMOTE_SMT_URL"}, [ |
25 "Solver" => $solver, |
25 "Solver" => $solver, |
26 "Options" => join(" ", @options), |
26 "Options" => join(" ", @options), |
27 "Problem" => [$problem_file] ], |
27 "Problem" => [$problem_file] ], |
28 "Content_Type" => "form-data"); |
28 "Content_Type" => "form-data"); |
29 if (not $response->is_success) { die "HTTP-Error: " . $response->message; } |
29 if (not $response->is_success) { die "HTTP error: " . $response->message; } |
30 else { print $response->content; } |
30 else { print $response->content; } |
31 |
31 |