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).