search

glaserL / viasp

A visualization tool for clingo
MIT License
3 stars 3 forks source link

Facts don't get redrawn when changing backend url #73

Closed glaserL closed 2 years ago

glaserL commented 2 years ago

Steps to reproduce

  1. Start the frontend with a bad backend url.
  2. Set the backend url to the correct one.

Expected behaviour

Everything gets redrawn.

Actual behaviour

Everything gets redrawn but the fact node.