search

mikrosimage / PuliMonitor

PuliMonitor is a (draft) user interface to interact with OpenRenderManagement
3 stars 1 forks source link

multiple servers and switching servers #2

Closed sebastianelsner closed 9 years ago

sebastianelsner commented 9 years ago

Do we need to be able to specify multiple servers in the settings file? Do we need to be able to switch them in the GUI? Whats the prefered method: via logging out and logging in or via a simple switch server command in the menu?

samson-jerome commented 9 years ago

It is very important to be able to switch server in the GUI, the HTTP layer used make this quite easy to address I think. I'm not sure it should be necessary to logout/login as servers don't handle connection lifetime... A simple drop-down list indicating the base URL should be fine.

sebastianelsner commented 9 years ago

implemented in current develop branch.