PR# 18681 Trying to exit estudio when VD70 reported consumes more and more memory

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2013/09/11
Class: Bug
Severity: Serious
Number: 18681
Release: 7.3.92766
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:23.0) Gecko/20100101 Firefox/23.0 ISE_PLATFORM is linux-x86
Synopsis: Trying to exit estudio when VD70 reported consumes more and more memory

Description
Trying to exit estudio when VD70 error is reported (specified target not found)
causes estudio to consume more and more memory and CPU.  The only way out is
kill -9.
To Reproduce
Start estudio and compile with attached class and config file, whose target is
named "hamster".  When compilation finishes, change target name in test.ecf
from "hamster" to "weasel" in an external editor.  Click on Compile.
Estudio correctly reports a VD70 error (specified target not found).
Select File/Exit and confirm.  Instead of exiting, estudio consumes more and
more memory and CPU time, apparently without end.  You have to use "kill -9"
to end it.
Problem Report Interactions
From:prestoat2000    Date:2013/09/11    Download   
Attachments for problem report #18681

Attachment: test.e     Size:61
Attachment: test.ecf     Size:717