Xebra Server Config File

Revision as of 13:17, 20 August 2009 by Fabioz (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

About | Installation | Documentation | Tutorials | Frequently Asked Questions

The server config file is read on startup and every time the reload command is executed. If there is an error in the configuration on startup, the server immediately shuts down. On the other hand, if there is an error in the configuration but the config file has already been successfully loaded once, the new configuration is discarded. The file is formated in Java Script Object Notation (JSON).


Properties

finalize_webapps

  • Type: Boolean
  • Description: If set to True, all webapps are finalized while compiled.

compiler

  • Type: Path to executable file
  • Description: Set to eiffel compiler (ec or ecb).

translator

  • Type: Path to executable file
  • Description: Set to the xebra_translator.

managed_webapps

  • Type: Path to directory
  • Description: Set to the directory that contains all managed webapps config files.

library

  • Type: Path to directory
  • Description: Set to the directory that contains all xebra libraries.

compiler_flags

  • Type: STRING
  • Description: Use this to add additional compiler flags to ec. Use at your own risk!

unmanaged_webapps

  • Type: ARRAY
  • Description: Specifies unmanaged (potentially remote) webapps

name

  • Type: STRING
  • Description: The name of the webapp

host

  • Type: STRING
  • Description: The host of the webapp

port

  • Type: NATURAL
  • Description: The port of the webapp


Example

{
  "finalize_webapps": "false",
  "compiler": "$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin/ec.exe",
  "translator": "$XEBRA_DEV/eiffel_projects/xebra_translator/EIFGENs/xebra_translator/W_code/xebra_translator.exe",
  "managed_webapps": "$XEBRA_DEV/www",
  "library": "$XEBRA_DEV/eiffel_projects/library",
  "compiler_flags": "-experiment",
  "unmanaged_webapps":
  [
		{ 
			"name": "helloworld2",
			"host": "10.0.10.197",
			"port": "55030"
		},
                { 
			"name": "helloworld3",
			"host": "10.0.10.197",
			"port": "55031"
		}
	]
}