Difference between revisions of "Xebra Server Config File"

(Example)
(webapps_root)
Line 18: Line 18:
 
*Description: Set to the xebra_translator.
 
*Description: Set to the xebra_translator.
  
==webapps_root==
+
==managed_webapps==
 
*Type: Path to directory
 
*Type: Path to directory
*Description: Set to the directory that contains all webapps.
+
*Description: Set to the directory that contains all managed webapps config files.
  
 
==library==
 
==library==

Revision as of 13:12, 20 August 2009

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!



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"
		}
	]
}