tools.rmiserver
Class JinniPrologServer

java.lang.Object
  tools.rmiserver.JinniPrologServer

public class JinniPrologServer
extends java.lang.Object

This is the main class to start up the JinniProlog Server

Version:

Clide

Author:

Wolfgang Chico Toepfer

Constructor Summary

JinniPrologServer(java.lang.String[] args)
creates an instance of the JinnIde server using its own RMI registry (on port 1099) if necessary

Method Summary

static void

main(java.lang.String[] args) starts up the JinnIde server by instantiating one instance of it with the parameters passed in the command line

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JinniPrologServer

public JinniPrologServer(java.lang.String[] args)

creates an instance of the JinnIde server using its own RMI registry (on port 1099) if necessary

Parameters:

args - command line parameters, use '-help' on the command line to print them out

Method Detail

main

public static void main(java.lang.String[] args)

starts up the JinnIde server by instantiating one instance of it with the parameters passed in the command line

Parameters:

args - command line parameters, use '-help' on the command line to print them out