+ Add note about time of profiling.
+ Don't show profiling pictures anymore. The server can't show them anyway.
Instead provide a link to the pbm file.
+ Put the image in the image directory (we know, where we are...).
Unfortunately, the server does not report the image type well, so
the picture is usually not displayed by the browser (or the format is
not understood). Anyway, it may be downloaded.
some installations of gnuplot cannot produce PNG, though it is a web
standard. The PBM files may be converted to other file formats using the
PBMPLUS package from http://www.acme.com/software/pbmplus/, including PNG.
+ added links to previous menus
+ removed some typos
+ admin-servlets:
+ make unload all work
+ improved machine-user dialog
+ calculate.scm:
+ numbers are restored, if operator is changed
Sorry for this packed commit, but my ISP went down on weekend.
Note that the picture generation in admin-profiling.scm
currently fails because of current restrictions in the
servlet-handler (that cannot serve data files).
No error capturing on wrong input in input-fields.