PR# 12936 ec.lock file not deleted by ec -batch

Problem Report Summary
Submitter: zsimic
Category: Compiler
Priority: Medium
Date: 2007/06/01
Class: Bug
Severity: Serious
Number: 12936
Release: 6.06.8703
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.4) Gecko/20070515 Firefox/2.0.0.4
Synopsis: ec.lock file not deleted by ec -batch

Description
When running the compiler in batch mode (ec -batch), the compiler systematically forgets to delete the ec.lock file generated in EIFGENs\<target>\ec.lock (to indicate that the project is currently open).
To Reproduce

										
Problem Report Interactions