You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# - server-root : String The root URL of the PLT web server. Ends in a / (e.g. http://localhost:8765/)
# - servlet-path : String A path from server-root to the servlet (e.g. servlets/main.ss)
# - forward-root : String The root URL that should be forwarded to the PLT Web Server. An exact match will be forwarded to the servlet, anything else under forward-root will be forwarded as it to the server