3.1.2 bmotion.json Configuration File

The bmotion.json config file is located in the resources folder of your BMotionWeb installation. It contains the configuration for the BMotionWeb application formatted using JSON (JavaScript Object Notation)¹.

Please note: Normally, the user should not edit this file!

The following options (and defaults) are available:

• socket [Type: object]:
  Settings for websocket server. The following options are available:

  • host [Type: String, Default value: localhost]:
    The host for the websocket server.

  • port [Type: String, Default value: 19090]:
    The port for the websocket server.

• prob [Type: object]:
  Settings for websocket server. The following options are available:

  • host [Type: String, Default value: localhost]:
    The host for the ProB2 server.

  • binary [Type: String, Default value: ./cli/]:
    Path to ProB binary.

Footnotes

1. http://www.json.org.