I was wondering if it might not be a nice thing to have better handling of
missing images. Currently, Plucker just crashes.
Why bother? Well, suppose I download a large Plucker database, but don't
need the images. This way, I could delete all the images from the pdb (on
the desktop) and still use the pdb.
Alex
--
Dr. Alexander R. Pruss
Department of Philosophy
Georgetown University
Washington, DC 20057-1133 U.S.A.
e-mail: [EMAIL PROTECTED]
online papers and home page: www.georgetown.edu/faculty/ap85
----------------------------------------------------------------------------
-
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
