OpenWF/SpaceNinjaServer
12
6
Fork 14
Code Issues 43 Pull Requests 1 Actions Packages Projects Releases Activity

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
Conversation 0 Commits 1 Files Changed 3 +75 -24
Sainan commented 2025-05-23 04:09:32 -07:00
Owner
Copy Link
No description provided.
Sainan added 1 commit 2025-05-23 04:09:35 -07:00
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
7af0630391
Sainan merged commit d41e4f7f56 into main 2025-05-24 01:48:28 -07:00
Sainan deleted branch port-hotreload 2025-05-24 01:48:31 -07:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
bug
An existing implemention is incorrect
dependencies
Pull requests that update a dependency file
documentation
Improvements or additions to documentation
enhancement
New feature or request specific to the emulator
help wanted
Extra attention is needed
improvement
missing data
part of more major rehaul
Can't be worked on right now without merge conflicts later
pr'd for
Soon™
question
Further information is requested
unimplemented
you can do this
Considered easy enough for someone's first PR.
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: OpenWF/SpaceNinjaServer#2100
No description provided.
Delete Branch "port-hotreload"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?