X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2Fxaland-uwobo%2Fxaland_uwobo.java;h=97f8cdf094f7304fc6a9a12f57c8ac41feda6977;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=d0ed630aebbf4085e5ed40d7b21aeb75bd2cf6cb;hpb=2f8f506cd4625294c3e17e995fc51a597ed99504;p=helm.git

diff --git a/helm/xsltd/xaland-uwobo/xaland_uwobo.java b/helm/xsltd/xaland-uwobo/xaland_uwobo.java
index d0ed630ae..97f8cdf09 100644
--- a/helm/xsltd/xaland-uwobo/xaland_uwobo.java
+++ b/helm/xsltd/xaland-uwobo/xaland_uwobo.java
@@ -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();