For me hitting Ctrl-c killing resource hungry app frees up the resources on windows machine at least with what I use, it’s just become part and parcel of my testing within jupyter lab.
You can search server.stop() method, I recall reading or making use of in the past but not used recently
That’s also how I do it, and that’s how I assume you kill a running process in general and in this case a web server, e.g. I think this is how you stop a flask or Django app. @Mana are you aware of other ways?
I was looking for some “panel stop” form of solution. Then I could use it in scripts if necessary.
I’m sure I’ve seen that for some services, but I don’t recall which service it was.