bay

Socket connections

  • Django webserver is served at port 8000

Inside scripts/ directory:

  • manager.py creates websocket server at port 8765

The remaining files are all inside the static/exercises/ directory of the respective exercise:

  • launcher.js connects to websocket at port 8765
  • exercise.py creates websocket server at port 1905
  • ws_code.js connects to websocket at port 1905
  • gui.py creates websocket server at port 2303
  • ws_gui.js connects to websocket at port 2303

Components

For each exercise there are two sides: the python part and the html part. They are connected in runtime through websockets (code_ws and gui_ws). For instance, in the Control Position drone exercise:

The exercise.html and exercise.py (in the above locations) are connected at runtime through websockets.