using alternative port does not work, hardcoded server check on 8080

[designer2k2]

Hello,
i need to use a different port as the default 8080, with the -p option i changed it to 8081.
But that results in a blocked surface due to the function check_server_status() beeing hardcoded to 8080:

kiri/assets/kiri.js

Line 799 in 5ea3263

img.src = "http://127.0.0.1:8080/web/favicon.ico?" + Date.now();

Browser console:

[leoheck]

Ah, good catch. I will fix this. Which Operating System are you using?

[designer2k2]

Windows 10 with the WSL setup as instructed here

[leoheck]

Hey buddy, I pushed some fixes. Could you try to run it again? The fix is not perfect but it may work for your case.

[leoheck]

If it works, please, close this issue then.

[designer2k2]

It works now!
Thanks for the quick fix.

[leoheck]

Nice! Awesome.