--- experimental/server/XMLReader/XMLSender.java	2000/11/17 14:45:56	1.3
+++ experimental/server/XMLReader/XMLSender.java	2000/11/17 15:04:05	1.4
@@ -9,6 +9,7 @@ public class XMLSender {
 
         if (args.length != 2) {
              System.out.println("Usage: java XMLSender <hostname> <filename.xml>");
+             System.exit(0);
         }
         
         int port = 4589;