On Thu, Aug 30, 2007 at 10:00:35AM -0500, Bo Peng wrote: > > I added a comment and committed the fix. > > Thanks. Did you also consider the case when an emergency file is > loaded instead of the original file?
I only corrected a bug. I'll let you improve the design. -- Enrico