cvs commit: hugs98/src ffi.c

[Alastair Reid]

> I assume you've probably fixed this by now.  

Yes.

> For future reference (and anyone else who runs into this problem):
> stale locks tend to be left around when CVS crashes, and have to be
> removed by hand by logging on to cvs.haskelll.org with SSH, and
> removing the appropriate lock file from /home/cvs/root/<wherever>
> which is usually called something beginning with '.#cvs' IIRC.

I googled around, found that the standard response was to delete lock
files by hand, logged in and hunted for things that looked like lock
files and were owned by me.  They were in the directory I was
committing to (I don't seem to have been committing to multiple
directories at the time) and had names like you say.  For safety, I
copied them into my home directory so I could move them back if it
didn't help.


-- 
Alastair Reid        reid@cs.utah.edu        http://www.cs.utah.edu/~reid/