View source for Xebra Server Config File

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

[[Category:Xebra]]
[[Xebra About|About]] | [[Xebra Installation|Installation]] |  [[Xebra Documentation|Documentation]] |  [[Xebra Tutorial|Tutorials]] | [[Xebra FAQ|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.

==webapps_root==
*Type: Path to directory
*Description: Set to the directory that contains all webapps.

==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=
<code>
{
  "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",
  "webapps_root": "$XEBRA_DEV/www",
  "library": "$XEBRA_DEV/eiffel_projects/library",
  "compiler_flags": "-experiment"
}

</code>

Return to Xebra Server Config File.

Retrieved from "https://dev.eiffel.com/Xebra_Server_Config_File"

View source for Xebra Server Config File

Navigation

Development

Wiki

Search

Tools