]> matita.cs.unibo.it Git - helm.git/blob - helm/xsltd/xaland-java/sped.java
ocaml 3.09 transition
[helm.git] / helm / xsltd / xaland-java / sped.java
1 // Copyright (C) 2000, HELM Team.
2 // 
3 // This file is part of HELM, an Hypertextual, Electronic
4 // Library of Mathematics, developed at the Computer Science
5 // Department, University of Bologna, Italy.
6 // 
7 // HELM is free software; you can redistribute it and/or
8 // modify it under the terms of the GNU General Public License
9 // as published by the Free Software Foundation; either version 2
10 // of the License, or (at your option) any later version.
11 // 
12 // HELM is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 // GNU General Public License for more details.
16 // 
17 // You should have received a copy of the GNU General Public License
18 // along with HELM; if not, write to the Free Software
19 // Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
20 // 
21 // For details, see the HELM World-Wide-Web page,
22 // http://cs.unibo.it/helm/.
23
24 import java.net.*;
25
26 public class sped {
27    public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException
28    {
29       String input = argv[0];
30       String out1  = argv[1];
31       String out2  = argv[2];
32
33       String sent = input + " " + out1 + " " + out2;
34       
35       InetAddress address = InetAddress.getLocalHost();
36       DatagramSocket socket = new DatagramSocket();
37
38       int strlen = sent.length();
39       byte buf[] = new byte[strlen];
40       sent.getBytes(0,strlen,buf,0);
41       DatagramPacket packet = new DatagramPacket(buf,strlen,address,12345);
42
43       socket.send(packet);
44
45
46       /* Wait for answer (or forever ;-) */
47       DatagramSocket socket2 = new DatagramSocket(12346);
48       DatagramPacket packet2 = new DatagramPacket(new byte[1],1);
49       socket2.receive(packet2);
50    }
51 }