PR# 13659 Call on Void target in {SD_SAVE_CONFIG_MEDIATOR}.save_one_auto_hide_panel_data

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/11/21
Class: Bug
Severity: Serious
Number: 13659
Release: 6.1.71239
Confidential: No
Status: Closed
Responsible: larryl
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.5) Gecko/20070719 Firefox/2.0.0.5 Solaris 10 on x86
Synopsis: Call on Void target in {SD_SAVE_CONFIG_MEDIATOR}.save_one_auto_hide_panel_data

Description
While exercising the docking facilities, I got a call on Void target in
{SD_SAVE_CONFIG_MEDIATOR}.save_one_auto_hide_panel_data.  Not reproducible
at this time.  Trace attached.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:larryl   
											Date:2009/09/07   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
In revision#80645, added if protection for this bug. So this bug would never happen again. This bug is same as bug#16161.

Thanks for your report.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:prestoat2000   
											Date:2007/11/21   
											
											Download   
										

										

                                            
											
										 	
Attachments for problem report #13659

											
											
											

											
											

												

													

														

															Attachment:
															stack115.txt    
															Size:7544