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. Typing an end-of-file character (normally ctrl-D under Unix) should also work, but that depends on your operating system and terminal interface.

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