Ticket #4487 (closed bug: fixed)

Opened 3 years ago

Last modified 3 years ago

.ghci file is kept open while ghci is running

Reported by: NeilMitchell Owned by: igloo
Priority: normal Milestone: 7.0.2
Component: GHCi Version: 7.1
Keywords: Cc:
Operating System: Windows Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

Given a .ghci file in the current directory, when I start ghci it loads that file. However, ghci keeps that file open and locked while running. As a result, any attempts to edit the file give an error from my text editor of "Encountered a sharing violation while accessing .ghci".

The solution would be for ghci to strictly read the .ghci file before it starts, rather than leaving the handle to the file open.

Reported against 7, but it's been this way for a while. Could well be Windows specific.

Change History

Changed 3 years ago by igloo

  • owner set to igloo
  • milestone set to 7.0.2

Thanks for the report.

Changed 3 years ago by igloo

  • status changed from new to closed
  • resolution set to fixed

Fixed in HEAD and 7.0 by: 

Sun Dec  5 12:53:01 PST 2010  Ian Lynagh <igloo@earth.li>
  * Close .ghci files after reading them; fixes trac #4487
Note: See TracTickets for help on using tickets.