Rachel Willmer

Great. So does anyone know how we get this merged? I can't do it.

@TueCN, could you make a PR with your suggested change? I'm the OP, but don't know enough about writing gulp files to write anything useful.

Hi Anthony Thanks for replying! This is my settings.json ``` { "cas": { "baseUrl": "https://127.0.0.1:8080/cas/", "autoClose": true }, "public": { "cas": { "loginUrl": "https://127.0.0.1:8080/cas/login", "serviceParam": "service", "popupWidth": 810, "popupHeight": 610...

Thanks, I'll try that. It might be a few weeks before I comment back, I'm about to go offline for a couple of weeks, and may not get Internet access...