Skip to content

Latest commit

 

History

History

docker

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 

How to configure HAL-Server with Docker ?

A docker-compose.yml of the container of the server is available at /server/docker-compose.yml.

The container is available in public at dockerhub.iut-clermont.uca.fr/ui/library/hal_hal-server_dotnet3.1

If you start the container as it is, it will be using default value for it's configuration. The docker-compose.yml make the configuration easier for users

version: "3.7"
services:
  hal:
    image: dockerhub.iut-clermont.uca.fr:443/hal_hal-server_dotnet3.1:latest
    ports:
      - "11000:11000"
    restart: unless-stopped
    volumes:
          - /data/TMP/hal/results:/data
          - /data/TMP/hal/plugins:/plugins
    environment:
      IP_HAL: "0.0.0.0"
      PORT_HAL: 11000
      MAX_THREADS_HAL: 8
      UPDATE_RATE_HAL: 1000
      SAVE_PATH_HAL: /data

Volumes

The HOST volume (/data/TMP/hal/results here) contains the plugins results from the clients. The HOST volume (/data/TMP/hal/plugins here) contains the plugins to send to server.

Varenv

Let's have a look to these variables environment:

  • IP_HAL: Is the varenv which indicate the IP adresse of the server
  • PORT_HAL: Is the varenv which indicate the port where the server will lookup to for clients and communication /!\ If you change this variable don't forget to change also the container ports of your docker-compose.yml file /!\
  • MAX_THREADS_HAL: Is the varenv to indicate the use max of thread by HAL server
  • UPDATE_RATE_HAL: Is the varenv which indicate the rate of update in millis
  • SAVE_PATH_HAL: Is the path where the data will be save into the container which HAL-Server is

Starting HAL-Server

To start HAL-Server with docker-compose: docker-compose up