Adding JMCR-Stable version
[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigadmin / Main.java
diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadmin/Main.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadmin/Main.java
new file mode 100644 (file)
index 0000000..2e8af1d
--- /dev/null
@@ -0,0 +1,22 @@
+// Main.java\r
+// $Id: Main.java,v 1.1 2010/06/15 12:20:47 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1996.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.jigadmin;\r
+\r
+/**\r
+ * a place holder for running the administration tool\r
+ */\r
+\r
+public class Main {\r
+\r
+    public static void main(String[] args) {\r
+       if(args.length == 0) {\r
+           String[] arg = {"http://localhost:8009/"};\r
+           org.w3c.jigadmin.gui.ServerBrowser.main(arg);\r
+       } else {\r
+           org.w3c.jigadmin.gui.ServerBrowser.main(args);\r
+       }\r
+    }\r
+}\r