Kawa normally keeps running as long as there is an active
read-eval-print loop still awaiting input or there is an unfinished
other computation (such as requested by a ‘-e’ of ‘-f’ option).
To close a read-eval-print-loop, you can type the special
literal #!eof at top level. This is recognized as end-of-file.
Unfortunately, due to thread-related complications, just typing
an end-of-file character (normally ctrl/D until Unix), will not work.
If the read-eval-print-loop
is in a new window, you can select ‘Close’ from the ‘File’ menu.
To exit the entire Kawa session, call the
exit procedure (with 0 or 1 integer arguments).