]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/xaland-uwobo/xaland_uwobo.java
ocaml 3.09 transition
[helm.git] / helm / xsltd / xaland-uwobo / xaland_uwobo.java
index d0ed630aebbf4085e5ed40d7b21aeb75bd2cf6cb..97f8cdf094f7304fc6a9a12f57c8ac41feda6977 100644 (file)
@@ -1,4 +1,4 @@
-import org.apache.xalan.xslt.*;
+//import org.apache.xalan.xslt.*;
 import java.net.*;
 import java.io.*;
 
@@ -19,7 +19,7 @@ public class xaland_uwobo {
       uwobo_socket.receive(rcv);
    }
 
-   public static void main(String argv[]) throws  java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException
+   public static void main(String argv[]) throws  java.io.IOException, java.net.MalformedURLException//, org.xml.sax.SAXException
    {
       int port  = Integer.parseInt(argv[0]);
       int port2 = Integer.parseInt(argv[1]);
@@ -53,19 +53,19 @@ public class xaland_uwobo {
 
          int first = received.indexOf(' ');
          int last  = received.lastIndexOf(' ');
-         String mode = received.substring(0,first);
+         String mode = received.substring(0,first-1);
          String input = received.substring(first+1,last);
          String output = received.substring(last+1);
 
          System.out.println("request received! Parameters are");
-         System.out.println("Mode: " + mode + " ");
+         System.out.println("Mode: \"" + mode + "\"");
          System.out.println("Input file: \"" + input + "\"");
          System.out.println("Output file: \"" + output  + "\"\n");
 
          if (mode == "cic")
-            send_to_uwobo("apply ciccontent cicpres " + input + " " + output);
+            send_to_uwobo("apply " + input + " " + output + " ciccontent cicpres");
          else
-            send_to_uwobo("apply theorycontent theorypres " + input + " " + output);
+            send_to_uwobo("apply " + input + " " + output + " theorycontent theorypres");
 
          InetAddress address = InetAddress.getLocalHost();
          DatagramSocket socket2 = new DatagramSocket();