saved-maxima remains in memory



Dear friends of maxima,

I noticed a bad way to quit maxima:
ctrl-z leaves saved-maxima in memory.

I performed several tests with intensive 
usage of the memory and was surprised to see
that there was lesser and lesser memory
available.

It is not visible under top, but launching
ps -ax gives the pid(s) of the many
saved-maxima, and then 
top -p theses_pids 
shows the amount of memory taken.

However, when exiting by quit(), there is 
no problem.

(operating system: Linux Mandrake 7.1)

Best regards.
-- 
Daniel Duparc <daniel.duparc@free.fr>
29 av. de la Commune de Paris
94400 Vitry sur Seine (France)