01: // Main.java
02: // $Id: Main.java,v 1.1 1999/01/26 15:23:09 bmahe Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1996.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigadmin;
07:
08: /**
09: * a place holder for running the administration tool
10: */
11:
12: public class Main {
13:
14: public static void main(String[] args) {
15: if (args.length == 0) {
16: String[] arg = { "http://localhost:8009/" };
17: org.w3c.jigadmin.gui.ServerBrowser.main(arg);
18: } else {
19: org.w3c.jigadmin.gui.ServerBrowser.main(args);
20: }
21: }
22: }
|