chore: restart web server when ports in config have changed #2100

Merged

Sainan merged 1 commits from port-hotreload into main

2025-05-24 01:48:28 -07:00

Author	SHA1	Message	Date
Sainan	7af0630391	chore: restart web server when ports in config have changed All checks were successful Build / build (push) Successful in 1m9s Details Build / build (pull_request) Successful in 2m2s Details	2025-05-23 13:10:04 +02:00