Is it possible to shut down the server from inside a python kernel?

[miccoli]

I would like to add a button inside an app that shuts down the server.

More explicitly:

1. run marino run my_app.py form terminal
2. a browser window opens, do some work
3. press a button in the browser window
4. the server exits

I searched the docs, but was unable to figure out how to shut down the server. Currently to quit an app I close the window and hit CTRL-C in the terminal.

[dmadisetti]

Interesting usecase.

You can also run marimo as a script which will run until completion (e.g. python notebook.py) and pass in command line arguments. Script mode will also run input() if you want to pass information in interactively.

not exactly graceful, but you can also do:

import os
os._exit(0)

[miccoli]

I see: this kills the kernel and then the server shuts down. It works, but I would like something more structured:

1. the kernel notifies the server that work is done
2. the server shuts down the kernel, with proper clean-up
3. the server exits

For now I settled on

import signal
signal.raise_signal(signal.SIGTERM)

which ends both the kernel and the server, but with a UserWarning (probably harmless, but you know, it still leaves you with a bad feeling):

python3.12/multiprocessing/resource_tracker.py:254: UserWarning: resource_tracker: There appear to be 1 leaked shared_memory objects to clean up at shutdown

Should I open an issue with a feature request?

[dmadisetti]

There was a recent memory leak push that might fix this (unsure)

as for the feature request, yes a mo.halt or mo.shutdown might make sense