Disk-saving in 7.1

[Barry Margolin <barmar@think.com>]

    Date: Fri, 14 Aug 87 10:23 PDT
    From: Steve Trever <trev@vermithrax.sch.symbolics.com>

	You must do this as the last thing before saving the world.
	This means you must do this *AFTER* loading all files, patches,
	etc.  You cannot use the :Save Yes option to Load Patches.  You
	must do this *EVERY TIME* you save a 7.1 world, even if this has
	already been done before.

Here's an easy way to make sure it is done.  Put the following into your
site system:

(add-initialization
  "Mouse handler table update wait"
  '(progn (dw::with-type-handler-tables-valid)
	  (process-wait "Handler table update"
	    (lambda () (null dw::*type-handler-tables-update-process*))))
  '(:before-cold :normal))

You should also make a patch that includes it.

                                                barmar