Exiting Kawa

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