- From: Benoit Mahe <Benoit.Mahe@sophia.inria.fr>
- Date: Wed, 10 Sep 1997 15:33:30 +0200
- To: Tor Lillqvist <tml@hemuli.tte.vtt.fi>
- cc: www-jigsaw@w3.org, bmahe@www43.inria.fr
> In jigsaw-1.0beta1, when clicking the "Filters" button on one of
> the nodes under http-server:space you get a NullPointerException
> from w3c.jigadm.editors.FiltersHelper.java, on line 336. It tries
> to get the property w3c.jigadm.editors.filters, but it isn't
> found. Where should it be defined? Is some file missing from the
> distribution?
>
> A workaround if to check for a null return value, and in that case set
> a to an empty string:
>
> String af = config.getProperty(
> "w3c.jigadm.editors.filters");
> >> if (af == null)
> >> af = "";
> StringTokenizer st = new StringTokenizer(af, "|");
>
> --tml
>
it seems that some files were not extracted correctly from the
ditribution file.
the file :
jigadm/w3c.jigsaw.resources.FilteredResource/helpers/
w3c.jigadm.editors.FiltersHelper.p
must exists!
I think it was extracted in another directory, this is due to the gnu tar wich
doesn't manage long file name very well. use the standard tar instead.
- Benoît Mahé -------------------------------------------------------
World Wide Web Consortium bmahe@sophia.inria.fr
Architecture domain - Jigsaw Team tel : 04 93 65 79 89
---------------------------------------------------------------------
Received on Wednesday, 10 September 1997 09:33:39 UTC