Bug 334

Summary: NullPointer exception when disabling the splash screen
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: minor    
Priority: P2    
Version: 4.0.1   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2006-07-07 21:01:14 CEST
When the GUI is started with the '--splashScreen off' option, a null pointer exception is thrown.
Comment 1 Gerd Behrmann 2006-07-08 13:04:24 CEST
Fixed on the 4.0 branch from rev. 2407. Fixed on the trunk from rev. 2397.