Commit 298ddbeb authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

adjust api_endpoint to work on different ports

update the README to point to the docker container
parent d9c75e57
Pipeline #27494 passed with stage
in 1 minute and 58 seconds
......@@ -11,11 +11,12 @@ It's made of
To start developping, first launch a server on localhost:5000 with
To start developping, first install Spot (see
with its Python bindings. Then launch an API server on localhost:5000 with
% server/
then launch a client with
finally launch a web client with
% cd client
% npm run start
......@@ -24,6 +25,27 @@ Now any save to or client/src/LtlApp.js will cause these
components to reload automatically.
Using remotely or locally
This application is live at
However this public server may be subject to occasional down time. If
you absolutely need the application for critical work (e.g, student
exam) you should run it locally on your own computer. This can be
done from git using the development instruction above, or more simply
by downloading a copy of the docker container that runs the Spot web
sudo docker pull
sudo docker run --rm=true -p 8080:80
The first command is optionnal and can be used to update an old local
copy of the container. The second command will run the container and
map its internal 80 port to 8080 on the local host, so you can point
your browser to localhost:8080/app/ to access the application.
......@@ -319,10 +319,19 @@ function NoteText(props) {
function api_endpoint() {
* files client/.env.{production,development}
* When developing, the API and web pages are running on different
* ports, but in production we assume they are served from the
* same server.
return (
window.location.protocol +
"//" +
window.location.hostname +
? window.location.hostname + process.env.REACT_APP_API_PORT
: +
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment