Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upComments
kroepke
added
infrastructure
feature
labels
Jul 1, 2016
kroepke
added this to the 2.1.0 milestone
Jul 1, 2016
dennisoelkers
self-assigned this
Jul 1, 2016
dennisoelkers
referenced this issue
Jul 25, 2016
Merged
Changing default to make REST API and web if to listen on same host/port #2525
joschi
closed this
in
#2525
Jul 26, 2016
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
kroepke commentedJul 1, 2016
Now that #2440 is merged, we can allow serving the web interface and REST API from the same port.
The suggestion is to allow setting the
web_listen_urito the same host/port combination as therest_listen_uri.If that's the case the
web_listen_urineeds to verify that a path different than/is set.The resources of the web interface are then added to the same API service that serves the REST endpoints.
Otherwise a second API service is started, which functions exactly as it does right now (i.e. separate port is bound, the two API services are different).
The current behavior should be the default to avoid surprises for current 2.0 users.