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 ‘
To close a read-eval-print-loop, you can type the special
#!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 ‘
To exit the entire Kawa session, call the
exit procedure (with 0 or 1 integer arguments).