W3C home > Mailing lists > Public > www-jigsaw@w3.org > September to October 2001

NullPointerException trying to access resource doc

From: Enrico Spinielli <Enrico.Spinielli@marconi.com>
Date: Tue, 23 Oct 2001 20:15:00 +0200
To: www-jigsaw@w3.org
Message-ID: <OF5568BF4B.82EEEB3D-ONC1256AEE.006236A0@uk.marconicomms.com>
Hi all,
in the Edit Resource Window I encountered an exception when:
0. edit a Resource from Resource Tree, i.e. 'RelNotes.html'
1. select any frames, i.e. 'HTTPFrame (frame-0)'
2. invoking 'Help -> Show reference documentation'

the error dialog title says "java.net.MalformedURLException"
while its message is "java.lang.NullPointerException"

The error doesn't show up when invoking the 'info' menu item
in the popup menu or when de-selecting the resource (Ctrl-Space)
and 2. above ...

Hope it helps
Enrico Spinielli                       Marconi Mobile
OMC User Interface Team Leader         Public Mobile Radio Product Unit
phone:+39(0)10-6005.858                Via Negrone, 1/A
mailto:enrico.spinielli@marconi.com    I-16153 Genoa, Italy
Received on Tuesday, 23 October 2001 14:15:54 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:41:30 UTC