fix: update make dev user ui ping url

[ryanhopperlowe]

Signed-off-by: Ryan Hopper-Lowe [email protected]

[njhale]

Just checked and you don't actually need the header for this to work, since we have -s --head specified.

Let's also switch this to check for the .ico file served by the user UI instead since I think it's probably a bad idea to depend on /<agent> returning a 200 when you try to GET an agent that doesn't exist; I suspect that behavior is actually a bug, we probably want some splash page there that tells you that an admin needs to configure some agents.

Suggested change

	if curl -s -H 'User-Agent: Mozilla/5.0' --head http://localhost:8080/unknown | head -n 1 | grep "200 OK" > /dev/null; then
	if curl -s --head http://localhost:8080/favicon.ico | head -n 1 | grep "200 OK" > /dev/null; then

[njhale]

You also want to drop the http://localhost:8080/admin/ from the open command a few lines below

[ryanhopperlowe]

You also want to drop the http://localhost:8080/admin/ from the open command a few lines below

I checked and this url is actually still valid. It doesn't look like admin is served from localhost:8080/ yet

[njhale]

I checked and this url is actually still valid. It doesn't look like admin is served from localhost:8080/ yet

Your browser should be redirected from http://localhost:8080 to http://localhost:8080/admin/ automatically, so it doesn't make sense to open both IMO.

[ryanhopperlowe]

I checked and this url is actually still valid. It doesn't look like admin is served from localhost:8080/ yet

Your browser should be redirected from http://localhost:8080 to http://localhost:8080/admin/ automatically, so it doesn't make sense to open both IMO.

Ah I think I see what you're saying now. Updated