2021-06-04 15:28:58 +02:00
|
|
|
ORIENTDB_DIR="{{ orientdb_home_prefix }}/{{ orientdb_user }}/{{ orientdb_dir }}"
|
|
|
|
ORIENTDB_USER="{{ orientdb_user }}"
|
|
|
|
ORIENTDB_OPTS_MEMORY="{{ orientdb_java_heap }}"
|
|
|
|
ORIENTDB_SETTINGS="{{ orientdb_default_settings }}"
|
2020-07-06 14:57:59 +02:00
|
|
|
ORIENTDB_SERVER_OPTS=
|
|
|
|
{% if orientdb_distributed %}
|
|
|
|
ORIENTDB_SERVER_OPTS="-Ddistributed=true"
|
2021-06-04 15:28:58 +02:00
|
|
|
{% endif %}
|